My research interests are
- formal verification,
- particularly model checking,
- verification of source code
- type-checking;
- compilers
- multi-core programming, and s
- software performance optimization.
I plan to write some more about each area here, but for now, check out my publications.