Robby works in the general area of formal methods, software engineering, and programming languages, with a focus on specification and verification techniques for high-assurance, high-integrity software systems. He has worked on user-friendly formal languages for describing software correctness properties and algorithms that give orders of magnitude cost reduction for assuring complex software while significantly increasing the confidence and trustworthiness on such assurance techniques.
Research:
- Sireum – A High Assurance System Engineering Platform.
