About

I am a computer scientist. My research interests are in software verification, testing, and security. I am also a free software enthusiast and I have worked on and participated in several projects and communities.

Resume | Contact | Publications | Service | Github | GitLab

Projects and communities

Research community service

Research done at: