Program analysis, software model checking, and other ways to formally reason about programs, especially structured and/or concurrent programs

The art and science of concurrent programming, in particular new programming abstractions for parallelism

Logic and automata theory

Formal methods at the architecture-software interface

343 E IST Building
University Park, PA 16802

Email:  swarat at cse psu edu
Voice:  +1-814-865-0883
Fax:  +1-814-865-3176

(Fall 2008)  CMPSC 461: Programming language concepts

(Spring 2008)  CSE 598-A: Advanced topics in programming languages: computer-aided verification