Purdue University - Department of Computer Science - Spring 2021 CS560 Reasoning about Programs Skip to main content

Spring 2021 CS560 Reasoning about Programs

Do you wonder what programming languages and formal methods are all about? 
Would you like to be able to automatically prove that a program does what it is supposed to do? 
Or, automatically synthesize a correct program from a specification?  

If yes, I invite you to sign up for my Spring 2021 graduate course on Reasoning about Programs.  

We will learn about the logical foundations and algorithmic techniques used to ensure that programs are correct and will end with a preview of recent applications of these ideas in ensuring that neural networks are correct.

The course will have homeworks, a midterm and a research project.  

Course title:  CS56000: Reasoning about Programs

Time: Tuesdays and Thursdays, 10:30-11:am

Mode of delivery: Live Zoom lectures during the class time slot  

Course webpage:


My webpage:



Feel free to email me if you have any questions about this course.

Roopsha Samanta

Assistant Professor

Dept. of Computer Science

Purdue University

Last Updated: Dec 2, 2020 8:53 AM

Department of Computer Science, 305 N. University Street, West Lafayette, IN 47907

Phone: (765) 494-6010 • Fax: (765) 494-0739

Copyright © 2020 Purdue University | An equal access/equal opportunity university | Copyright Complaints

Trouble with this page? Disability-related accessibility issue? Please contact the College of Science.