About
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.
Projects and communities
- Cardano — blockchain specification
- Debian — I had a goal of becoming a Debian developer:
- STP (ITP #789055) — Simple Theorem Prover
- KLEE (ITP #576142) — LLVM-based symbolic virtual machine
- Java Pathfinder (ITP #805525) — Virtual machine for Java bytecode
- Clover — symbolic execution analysis of Debian packages with KLEE
- maline — Android malware detection
- JDoop — Automatic testing for Java
- JDart — Dynamic symbolic execution for Java
- NASA — Runtime verification of AutoResolver
- Google Summer of Code 2012 — Model Checking Android Services
- Google Summer of Code 2013 — Combining JDart and Randoop
- Google Summer of Code 2016 — Support for KLEE in Debile
- Artifact evaluation: posts and a repository
- OpenStreetMap
Research community service
- International Workshop on Malware Analysis 2016 Program Committee member
- Programming Language Design and Implementation 2016 Artifact Evaluation Committee member
- Computer Aided Verification 2015 Artifact Evaluation Committee member