I am interested in the technical challenges that arise when designing, engineering, abstracting, and verifying infinite state concurrent programs and distributed systems. These challenges cannot be addressed by a single silver bullet. Thus, my scientific interests, listed below, are quite broad.
- Programming Languages
- Program verification
- Program logics
- Abstract interpretation (aka static analysis)
- Concurrency and concurrent programming
- Distributed systems