Picture of Anastasiia Izycheva

M.Sc. Anastasiia Izycheva

izycheva<at>in.tum.de

Research interests

  • verification of numerical programs
  • functional program synthesis
  • program analysis

Publications

 

Service

Artifact Evaluation Committee: POPL'21

Subreviewer: SAS'20