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. In September 2021 I became a PhD student in Mathematics supervised by Laurențiu Leuștean. I am also an associated researcher at the Institute for Logic and Data Science.