affiliations & research visits
my affiliations and international research visits.
Current Position
Since the 1st of September of 2021 I have been working as postdoctoral researcher at the Department of Computer Science of the University of Helsinki. My research is funded by a highly competitive (14%-acceptance rate) postdoctoral researcher grant funded by the Research Council of Finland. I am a senior member of the Constraint Reasoning and Optimization group led by Professor Matti Järvisalo.
A year later, starting on the 1st of September of 2022 I was hired as an University Lecturer by the same department. Since then, I have been splitting my time between the postdoctoral position (70%), and the Lecturer position (30%).
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 Sryckey & Emir Demirovic |