Anastasiia Izycheva

Name: Anastasiia Izycheva Raum: 02.07.053 Tel: +49 89 289 18184 eMail: izycheva<at>in.tum.de Visitenkarte:

Research interests

- verification of numerical programs

- functional program synthesis

- program analysis

Teaching:

Program Synthesis Seminar (SS18)

Introduction to Informatics 2 (WS17/18)

Earlier publications:

• On Sound Relative Error Bounds for Floating-Point Arithmetic. A. Izycheva, E. Darulova, FMCAD'17 (extended version on arXiv)
• 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 

Publications of Anastasiia Izycheva