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
Publications
Journal papers
- Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration (with Laurențiu Leuștean), Optimization Methods and Software (2022)
Preprints
- On modified Halpern and Tikhonov-Mann iterations (with Ulrich Kohlenbach and Laurențiu Leuștean), arXiv:2203.11003 [math.OC], 2022
Software
- Lean formalization of Applicative Matching Logic (with Bogdan Macovei)
- Lean HOAS implementation of the Dialectica interpretation and logical metatheorems based on it
- Lean formalization of results in H. Cheval and L. Leuștean. Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration, Optimization Methods and Software, 2022.
- Python implementation of various fixed point iteration in W-hyperbolic spaces
Talks
Contributed conference talks
- Workshop for Young Researchers in Mathematics, Bucharest, May 19-20, 2022
- Working Formal Methods Symposium, Timișoara, December 8-9, 2021
- Logic Colloquium 2021, Poznań, July 19-24
- Computability in Europe 2021, Ghent, July 5-9, 2021
- The 22nd annual Graduate Student Conference in Logic, Urbana-Champaign, March 20-21, 2021
Seminar and other talks
- RV/ILDS/LOS InFormal Workshop on Logics, January 26, 2023
- LOS Seminar, November 23, 2021
- LOS-IMAR Logic seminar, February 18 and 25, 2021