Recent Posts

Looking back at FSEN 2015

4 minute read

Not a liveblog about a conference this time, but hey, still the talks were interesting!

Paper: Benchmarking Parity Games

4 minute read

Next week, on April 24, I will present my paper Benchmarking Parity Games [3] at FSEN 2015. The core contribution of this paper is a set of parity games that...

Moving On

less than 1 minute read

At the end of the year I received good news on the career development front. On 1 February (or, actually 2 February, since the 1st is a Sunday) I will start ...

University Teaching Qualification

less than 1 minute read

Today I got the official notification of what I already knew unofficially. I am qualified to teach at the university. In other words, I received the certific...