![]() |
|
![]() |
|
Automated reasoning about programs: Formal, automated methods for program verification, synthesis, and approximation, including abstract interpretation, model checking, and deductive verification. Parallel programming: Abstractions, languages, and systems for parallel programming. Theoretical computer science: Logic and automata theory. [I am currently seeking Ph.D. advisees. Send me email if you are interested.] projects| bio | cv| publications | ||
![]() |
| PC member: TACAS 2009, LCTES 2009 | Publicity chair: POPL 2010-2012 | Co-organizer: EC2 2010 group | PhD students: Roberto Lublinerman, Sara Navidpour, Nirupama Talele |
|
![]() |
|
![]() |
|
343 E IST Building
Email: swarat at cse psu edu |
|
(Spring 2010) CSE 520: The Science of Computer Programming (Fall 2009, Fall 2008) CMPSC 461: Programming language concepts (Spring 2009) CSE 598-A: Program analysis (Spring 2008) CSE 598-A: Computer-aided verification |