cv
General Information
| Full Name | Simmo Saan |
| Languages | 🇪🇪 Estonian (native), 🇬🇧 English (fluent), 🇩🇪 German (basic) |
Education
-
2020 – ... Estonia
PhD in Computer Science
University of Tartu -
2018 – 2020 Estonia
MSc in Computer Science
University of Tartu - Specialization in theoretical informatics
- Graduated cum laude
-
2015 – 2018 Estonia
BSc in Computer Science
University of Tartu - Graduated cum laude
Experience
-
2022 – ... Estonia
Junior research fellow in programming languages
University of Tartu Institute of Computer Science -
2019 – 2022 Estonia
Programmer
University of Tartu Institute of Computer Science -
2017 – 2019 Estonia
Lab instructor
University of Tartu Institute of Computer Science
Open Source Projects
Service
-
2025 - Dagstuhl Seminar 25172 Invited Participant
-
2024 - SV-COMP 2025 Organizing Committee (Benchmark Quality Assurance)
- SV-COMP 2025 Jury / Program Committee
- OCaml Workshop 2024 Program Committee
- ECOOP 2024 External Review Committee
- ECOOP 2024 Artifact Evaluation Committee
-
2023 - SV-COMP 2024 Jury / Program Committee
- CAV 2023 Artifact Evaluation Committee
-
2022 - SV-COMP 2023 Jury / Program Committee
-
2021 - SV-COMP 2022 Jury / Program Committee
-
2020 - SV-COMP 2021 Jury / Program Committee
-
2019 - ESEC/FSE 2019 Student Volunteer