Hi!
I am currently a PhD student of Cezary Kaliszyk in the Computational Logic group of the University of Innsbruck, Austria.At the moment I am working on Dependently-Typed Higher Order Logic, or DHOL for short, developing the theory as well as tools. My professional interests extend to formal methods in general and type theory in particular.