Tag Archives: formal methods

Slides for the “Static Analysis and Verification of C Programs” Talk

Slides for the “Static Analysis and Verification of C Programs” talkĀ are now available on SlideShare.

Static Analysis and Verification of C Programs

Static Analysis and Verification of C Programs

SEPTEMBER 17 @ 12:00 PM1:00 PM

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.

DETAILS

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

VENUE

N922A
300 Jay St., Room N922A, Brooklyn, NY11201 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:
Website:
https://openlab.citytech.cuny.edu/cstcolloquium

SUBSCRIBE


 

FEEDBACK

Static Analysis and Verification of C Programs

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