affiliations & research visits
my affiliations and international research visits.
Current Position
As of the 1st of September of 2024 I will be an Academy Reseach Fellow at the Department of Computer Science of the University of Helsinki. I am funded by a highly competitive (14%-acceptance rate) Academy Research Fellowship funded by the Research Council of Finland.
Previous Positions
Between September 2021 and August 2024 I was postdoctoral researcher at the Department of Computer Science of the University of Helsinki funded by a competitive (14% acceptance rate) grant from the Research Council of Finland. From September 2022 onward, the position was part-time.
Between September 2022 and August 2024 I was a part-time University Lecturer at the Department of Computer Science.
International Research Visits
| Oct 2023 | University of Freiburg hosted by Armin Biere & Tobias Paxian |
|---|---|
| Jun 2023 | Workshop “SAT Encodings and Beyond” hosted by Schloss Dagstuhl |
| Mar - Apr 2023 | Extended Reunion: Satisfiability hosted by the Simons Institute |
| Jun 2022 | Workshop “Theory and Practice of SAT and Combinatorial Solving” hosted by Schloss Dagstuhl |
| May 2022 | Vrije Universiteit Brussel hosted by Bart Bogaerts |
| Mar - May 2019 | University of Toronto hosted by Fahiem Bacchus |
| Oct - Dec 2018 | University of Melbourne hosted by Peter Stuckey & Emir Demirovic |