postdoc @tu_wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)

ID: 1322853571675770882

linkhttps://aisychev.github.io/ calendar_today01-11-2020 10:51:01