Dr. Anna Lukina is currently a postdoctoral researcher with Prof. Thomas A. Henzinger at the Institute of Science and Technology Austria. Dr. Lukina obtained her PhD from Technische Universität Wien in Vienna, Austria, having developed an adaptive optimization-based framework for control and verification of cyber-physical systems. Her current research interests lie in designing algorithms for improving reliability of learned controllers in safety-critical applications. In particular, her recent works exploit techniques from formal methods, such as abstraction and reactive synthesis.