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
-
2024 - SV-COMP 2025 Organizing Committee (Benchmark Quality Assurance)
- 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
Honors and Awards
-
2024 - Distinguished Artifact Reviewer Award at ECOOP 2024
- Best Paper Award at VMCAI 2024
-
2015