Dr. Raúl E. Monti
Formal Methods and Tools Group, University of Twente
Senior Researcher in the SAVES project, a WWU-UT collaboration
Research Interests:
- Critical Software Verification with VerCors
- Formal Verification of integrated Hardware/Software Systems