Since November 2023 I am a postdoctoral researcher at TU Wien with Maria Christakis. I received my PhD from TU Munich, where I was co-advised by Eva Darulova and Helmut Seidl. Before that I was a graduate student in Max-Planck Institute for Software Systems (MPI-SWS) and Saarland University.
My research interests span over various topics in formal methods and software engineering. I am passionate about static analysis, in my book, AI stands for abstract interpretation. During my PhD, I focused on analysing and optimising numerical programs, now exploring new domains. I am curious about program synthesis, optimization, repair and testing and how they can help make software reliable and understandable.
News
- I will be visiting Caterina Urban@Inria Paris and Raphaël Monat@Inria Lille in June 2026.
- I gave a talk about our work on the Cost of Soundness in Mixed-Precision Tuning at the FPTalks series on April 2.
- I am co-organising FLoC’26 Mentoring Workshop, looking forward to see you in Lisbon!
Service
| 2026 | FLoC Mentoring Workshop (co-organizer), OOPSLA (PC), FAC Journal (Reviewer) |
| 2025 | CAV (PC) |
| 2024 | PLDI SRC, SAS, ASE Tool Demo (PC), ISSTA’24 (publicity chair) |
| 2023 | PLDI (AEC), SAS (subreview) |
| 2022 | CGO (AEC) |
| 2021 | CAV, POPL (AEC), FAC Journal (Reviewer) |
| 2020 | SAS (subreview) |
Teaching
TU Wien
- Seminar in Software Engineering: SS24, WS24/25, SS25, WS 25/26
- Advanced Software Engineering WS25/26 - guest lecture
TU Munich
- Program Optimization: WS18/19, WS19/20, WS20/21, WS21/22, WS22/23
- Virtual Machines: SS19, SS20, SS21, SS23
- The Tyranny of Types: Curse or Blessing? (Seminar) SS22
- Program Synthesis Seminar: SS18, SS19, SS20
- Introduction to Informatics 2 (WS17/18)
Publications
- Interrogation Testing of CHC Solvers D.Kaindlstorfer, A.Isychev, V.Wüstholz, M.Christakis, FSE’26
- Cost of Soundness in Mixed-Precision Tuning A. Isychev, D.Lohar, OOPSLA’25
- Using Action-Policy Testing in RL to Reduce the Number of Bugs H.F. Eniser, S. Lin, N. Müller, A. Isychev, V. Wüstholz, I. Valera, J. Hoffmann, M. Christakis, SoCS’25
- Lazy Testing of Machine-Learning Models A. Isychev, V. Wüstholz, M. Christakis, IJCAI’25
- Fuzzing Processing Pipelines for Zero-Knowledge Circuits C. Hochrainer, A. Isychev, V. Wüstholz, M. Christakis, CCS’25
- Interrogation Testing of Program Analyzers for Soundness and Precision Issues D.Kaindlstorfer, A.Isychev, V.Wüstholz, M.Christakis, ASE’24
- Constraint-Based Test Oracles for Program Analyzers M.Fleischmann, D.Kaindlstorfer, A.Isychev, V.Wüstholz, M.Christakis, ASE’24
- Scaling up Roundoff Analysis of Functional Data Structure Programs A.Isychev, E.Darulova, SAS’23
- Regime Inference for Sound Floating-Point Optimizations R.Rabe, A.Izycheva, E.Darulova, EMSOFT’21
- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis A.Izycheva, E.Darulova, H.Seidl, SAS’20; Recording of the talk
- Synthesizing Efficient Low-Precision Kernels A.Izycheva, E.Darulova, H.Seidl, ATVA’19
- Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper) E.Darulova, A.Izycheva, F.Nasir, F.Ritter, H.Becker, R.Bastian, TACAS’18
- On Sound Relative Error Bounds for Floating-Point Arithmetic A. Izycheva, E. Darulova, FMCAD’17 (extended version on arXiv)
Theses
- Doctoral Thesis @ TU Munich Improving Analysis and Optimization of Finite-Precision Programs
- Master Thesis @ MPI-SWS and UdS Estimation of Relative Error Bounds for Floating-Point Arithmetic Expressions