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
Preprints
- Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration (with Laurențiu Leuștean), arXiv:2107.07176 [math.OC], 2021. To appear in Optimization Methods and Software
- On modified Halpern and Tikhonov-Mann iterations (with Ulrich Kohlenbach and Laurențiu Leuștean), arXiv:2203.11003 [math.OC], 2022
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