Researching Formal Methods for Software Verification.
Interests:
- Type Theory
- Model Checking
Researching Formal Methods for Software Verification.
Interests:
No ancillary activities
Ancillary activities are updated daily
Profile
Keywords
Publications
Personal website
Copyright © 2026 - Vrije Universiteit Amsterdam