I am a computer scientist. My research interests are in theorem proving, software correctness, functional programming and type theory. 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