Horațiu Cheval

PhD Student
Research Center for Logic, Optimization and Security,
Department of Computer Science,
Faculty of Mathematics and Computer Science,
University of Bucharest

I completed my undergraduate studies in Computer Science at the Faculty of Mathematics and Computer Science at the University of Bucharest, with a thesis in the field of proof mining. I then followed the Master's program in Security and Applied Logic at the same institutions. In my Master's thesis I continued the research I started as an undergraduate in proof mining, while also writing my first paper in the field of convex optimization. During the same time, I became interested in type theory and proof assistants, the language I know best being Lean. Since September 2021, I am a PhD student in Mathematics supervised by Laurențiu Leuștean.