Simmo Saan


Delta Centre room 3023,

Narva mnt 18,

51009 Tartu, Estonia

Computer science PhD student specializing in static program analysis and programming languages at the Laboratory for Software Science at the Institute of Computer Science at the 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.

Prolific (functional) programmer and open source aficionado in general: sim642 on GitHub.


selected publications

  1. Goblint Validator: Correctness Witness Validation by Abstract Interpretation (Competition Contribution)
    Simmo SaanJulian ErhardMichael Schwarz, and 5 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems, 2024
  2. Correctness Witness Validation by Abstract Interpretation
    Simmo SaanMichael SchwarzJulian Erhard, and 3 more authors
    In Verification, Model Checking, and Abstract Interpretation, 2024
    🥇 Best Paper Award