- outreach
- research
- travel
- current-events
- papers
•
•
•
•
-
I Participated in EDUCA
The largest event for the education and training sector in Finland
-
University of Freiburg
Research visit
-
The Wonderful World of Colors (Reprise)
Uni Junior Workshop
-
Workshop “SAT Encodings and Beyond”
Workshop
-
Extended Reunion: Satisfiability
Extended Research Visit