Poster Session
PSC-CUNY 2018
BWRC Breakfast-Talks
WAC Fall Workshops
Bearing Witness
GenEdge Theme 2019
Student Travel Overview
L4
PDAC Travel Funds Guidelines
Quantitative Reasoning
CUNYfirst guides
Loading Events

« All Events

  • This event has passed.

CST Colloquium: Static Analysis and Verification of C Programs

Details

Date:
September 17, 2015
Time:
12:00 pm - 1:00 pm
Event Category:
Event Tags:
, ,

Location

Venue/Room:
N-923

Date: September 17th, 2015 at 12:00 pm – 1:00 pm
Location: Namm 923
Speaker: Subash Shankar

Abstract: Department of Computer Science, Hunter College, City University of New York
Recent years have seen the emergence of several static analysis techniques for reasoning about programs. This talk presents several major classes of techniques and tools that implement these techniques. Part of the presentation will be a demonstration of the tools.

Dr. Subash Shankar is an Associate Professor in the Computer Science department at Hunter College, CUNY. Prior to joining CUNY, he received a PhD from the University of Minnesota and was a postdoctoral fellow in the model checking group at Carnegie Mellon University. Dr. Shankar also has over 10 years of industrial experience, mostly in the areas of formal methods and tools for analyzing hardware and software systems.

For additional information, please go to openlab.citytech.cuny.edu/cstcolloquium/

[icon name=”file-pdf-o” class=””] Click to view poster.

Other seminars