[PRL] Special Topics Course

Pete Manolios pete at ccs.neu.edu
Fri Jan 5 18:58:17 EST 2018


Hi guys,

This semester (Spring), I will teach a special topics course in Formal
Methods.

I will cover topics such as SAT/SMT, interactive theorem proving, reasoning
about programs, logic (including completeness & incompleteness), set
theory, reactive systems, verification, testing, (bi)simulation,
refinement.

The intended audience is PhD students interested in learning about current
developments in formal methods or exploring how to apply these methods in
their research. In particular, students in FM, PL, SE, Systems, Databases,
and Security may find this course of interest.

Here is the URL: http://www.ccs.neu.edu/home/pe
te/courses/Topics-Formal-Methods/2018-Spring/

Classes start Monday!

-- 
Pete Manolios
Professor of Computer and Information Science
Northeastern University
http://www.ccs.neu.edu/home/pete
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the PRL mailing list