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

Associated Researcher,
Institute for Logic and Data Science

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.