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
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 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
- LOS Seminar November 23, 2021
- LOS-IMAR Logic seminar February 18 and 25, 2021