I’m a postdoc at the Logic and Types group at the University of Gothenburg. Previously I was an assistant lecturer at the Faculty of Informatics of Eötvös Loránd University of Budapest, at the department of Programming Languages and Compilers. I did my PhD studies at the same place from 2017 to 2021 under the supervision of Ambrus Kaposi.

My research topics are generally related to type theory, and they range from “applied” type theory (compilation, elaboration, performance, metaprogramming) to more “pure” type theory (metatheory of inductive types, universes).

Updates & stuff