Computer science PhD student specializing in static program analysis and programming languages at University of Tartu in Estonia.
Currently the lead developer and maintainer of Goblint, a static analysis framework for C. Also a contributor to the OCaml ecosystem at large.
|Sep 21, 2022||📄 Published preprint Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.|
|Mar 30, 2022||🏆 Goblint was the most correct and greenest verifier in SV-COMP 2022 (report).|
- Improving Thread-Modular Abstract InterpretationIn Static Analysis Symposium, 2021