Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Lehrstuhl Mitarbeiter Anastasiia Izycheva login

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
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 10 ms