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
University Park, PA 16802
Email: swarat at cse psu edu
Voice: +1-814-865-0883
Fax: +1-814-865-3176
(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