Research interests [ Show full biography ]
Formal methods for requirements writing, hierarchies and interfaces from system to code, for validation and verification.
Research projects