BLOG
Sometimes I update this section with thoughts, news, and events.
ECOOP26 in Brussels
Two weeks after PLDI, off to ECOOP in Brussels. Very busy days with a couple of presentations and long walks to plenty of sights, including the Atomium. Placed fourth in the Student Research Competition. One place away from the podium, ouch!
PLDI26 in Boulder
Lightning never strikes the same place twice, yet here I am, back in Colorado. At least this time it was summer, which I enjoyed with a walk to the Flatirons. But first, I presented my first first-author paper at an A* conference. And I got a Distinguished Artifact Award!
Christmas in Osaka
First time visiting Japan with my older sister. Wonderful experience mixing the busy streets of high-tech Osaka with the more traditional outskirts of Kyoto. Loved the culture shock.
Marktoberdorf 2025
Ten days of lectures on software verification in the Bavarian countryside, together with PhD students from all over the world. Between sessions, good food, games of pool, concerts, and hikes. I went for the long hike in Austria. Maybe about 20 km?
POPL25 in Denver
In Denver, the cold seems to preserve people for very long lives with winters down to -25 °C. If you survive the cold snap, you are greeted with sensible city layouts, great food, lots of medical advertisements for your dogs, and programming languages. Convergence Station is a must for a unique artistic experience.
ICFP24 at Milano
Many interesting talks and people. There are weeks’ worth of places to explore in Milano, besides the stunning Duomo. Also some really good sushi? Unfortunately, the city was flooded due to terrible weather and I got sick during the last few days.
Hiking at Säntis
Six difficult hours for an under experienced and under equipped hiker. At the top of Säntis, the struggle is handsomely rewarded with an amazing view of the surrounding countries. I have to thank my colleagues for suggesting this experience and helping me through it.
PLDI24 at Copenhagen
My first time attending a conference, visiting the city both as an aspiring researcher and a tourist. Apparently, conferences are quite the social challenge. Among our destinations, the Rosenborg Castle was definitely a favorite.
ZuriHac24 in Rapperswil
A chill event for Haskellers at the Campus of Rapperswil-Jona by the lake of Zurich. There were inspiring talks on the role of functional programming for real-world systems.
Moving to St. Gallen
The first week of moving, I explored the city with my father. Uphill, we walked along the three lakes where you can see the entirety of St. Gallen. I am still surprised by how we managed to organize everything so timely.