Simmo Saan

IMG_20191001_184658_248.jpg

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.

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

news

selected publications

2023

  1. Correctness Witness Validation by Abstract Interpretation
    Simmo SaanMichael SchwarzJulian Erhard, and 3 more authors
    2023
    To appear in Verification, Model Checking, and Abstract Interpretation