I am now working full time at
Kestrel Technology..
Research Interests:
- Static analysis of C programs
- Static analysis of discrete, real-time and hybrid systems
- Runtime analysis of programs
- Visual formalisms for verification
- Event Correlation
- Formalization of middleware constructs
- Decision procedures
- Application of verification methods to PLC's (programmable logic
controllers) and industrial safety systems (such as emergency shutdown
systems in chemical plants and refineries)
|
| |