Research
Specialisations
- Computational Theory and Mathematics
- Artificial Intelligence
- Software
Research topics
- Formal Methods in Verification
- Logic, programming, and type systems
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Software Testing and Debugging Techniques
- Publications
- 260
- Citations
- 1.5K
- h-index
- 20
- Papers, last 3 years
- 6
Members only · Free to join
Sign in to see the full profile
See their grants, open positions in their group, career history and colleagues — everything you need before you write to them.
- Research funding
- Affiliations
- Similar professors
Free forever No credit card 30-second sign-up
