Picture of Anastasiia Izycheva

Anastasiia Izycheva, M.Sc.

izycheva<at>in.tum.de

Research interests

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

Publications

Projects

  • Daisy - a framework for accuracy analysis and synthesis of numerical programs 
  • Pine - a synthesizer for floating-point loop invariants

Advised Theses

  • Interactive Synthesis for Object-Oriented Programs, Aleksei Semin, M.Sc., winter 2021/22
  • Regime Inference for Finite-Precision Numerical Kernels, Robert Rabe, B.Sc., summer 2020

Teaching

Service

Artifact Evaluation Committee: POPL'21, CAV'21, CGO'22
Reviewer: FAOC Journal (2021)
Subreviewer: SAS'20