About me:

I am a Lecturer (equiv. Assistant Professor) in the Department of Computer Science at the University of Bath, and a member of the Mathematical Foundations of Computation group.

Before that, I was a post-doctoral researcher at Czech Academy of Sciences and at Utrecht University. I did my PhD studies at Charles University in Prague under the supervision of Pavel Pudlák.