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
- On modified Halpern and Tikhonov-Mann iterations (with Ulrich Kohlenbach and Laurențiu Leuștean), Journal of Optimization Theory and Applications (2023)
- Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration (with Laurențiu Leuștean), Optimization Methods and Software (2022)
Preprints
- Formal Definitions and Proofs for Partial (Co)Recursive Functions (with David Nowak and Vlad Rusu), hal-04360660v2 (2023)
- Rates of asymptotic regularity of the Tikhonov-Mann iteration for families of mappings, arXiv:2304.11366 [math.OC] (2023)
- Linear rates of asymptotic regularity for Halpern-type iterations (with Laurențiu Leuștean), arXiv:2303.05406 [math.OC] (2023)
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
Invited talks
Contributed conference talks
- MFO Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, November 12 - 17, 2023
- Working Formal Methods Symposium (FROM) 2023, Bucharest, September 21 - 22, 2023
- The Tenth Congress of Romanian Mathematicians, Pitești, June 30 - July 5, 2023
- 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
Other talks
- EuroProofNet WG3 Meeting, Timișoara, February 8-9, 2023
- RV/ILDS/LOS InFormal Workshop on Logics, Bucharest, January 26, 2023