My research interests include:
-
Distributed, autonomous systems
-
Correct-by-construction development
-
Formal specificaiton and verification of wireless sensor networks
-
Network protocol verification
-
Model checking
-
Abstraction and refinement
Currently I am involved in the Verifiable Autonomy project.