MsAnastasia Isychev

Dr. Anastasia Isychev is a lecturer at the School of Computer Science, University of Sydney. Earlier, she was a postdoctoral researcher at TU Wien with Maria Christakis and received her PhD from TU Munich, where she was co-advised by Eva Darulova and Helmut Seidl. Before that she was a graduate student in Max-Planck Institute for Software Systems (MPI-SWS) and Saarland University.

Anastasia's research interests span over various topics in formal methods and software engineering. Her work is centered around static analysis, optimization, repair and testing and how they can help make software reliable and understandable.