Loading Events

« All Events

  • This event has passed.

Static Analysis and Verification of C Programs

September 17, 2015 @ 12:00 pm - 1:00 pm

Static Analysis and Verification of C Programs

Subash Shankar

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.

Subscribe


 

Feedback

Details

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

Venue

N922A
300 Jay St., Room N922A
Brooklyn, NY 11201 United States
+ Google Map
Phone:
(718) 260-5500
Website:
http://www.citytech.cuny.edu/

Organizer

Computer Systems Technology Colloquium Series
Phone:
(718) 260-5170
Email:
mpinto@citytech.cuny.edu
Website:
http://openlab.citytech.cuny.edu/cstcolloquium

Leave a Reply

Your email address will not be published. Required fields are marked *