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
no publications registered so far
|