Anna Lukina is Assistant Professor and Delft Technology Fellow, designing trustworthy and interpretable learned systems via combining formal methods and machine learning. She received her Master of Science in Applied Mathematics and Informatics from Lomonosov Moscow State University in 2009, followed by Master of Arts in Economics from New Economic School in 2011. In 2015, after four years in finance, she joined Technische Universität Wien in Austria and in 2019 she obtained her PhD in computer science supervised by Prof. Radu Grosu. Her doctoral thesis was focused on control and verification of cyber-physical systems. In 2019-2021, she was a postdoc with Prof. Thomas A. Henzinger at IST Austria. Dr. Lukina was a long-term visiting scholar at the University of Pennsylvania, RWTH Aachen University, National Institute of Informatics in Tokyo, and University of Melbourne. In January-May 2021, she was co-appointed a Simons-Berkeley Research Fellow under the mentorship of Prof. Pavithra Prabhakar.