hi there!
∗ I'M ANNA LUKINA,
∗ I'M ANNA LUKINA,
∗ I'M ANNA LUKINA,
∗ I'M ANNA LUKINA,
current position
Assistant Professor
Assistant Professor
current position
Assistant Professor
+ leading the SUMI Lab.
career
I obtained my Ph.D. in Vienna as part of the FWF-funded Logical Methods in Computer Science doctoral program and then was a postdoctoral researcher at ISTA with Thomas Henzinger.
I obtained my Ph.D. in Vienna as part of the FWF-funded Logical Methods in Computer Science doctoral program and then was a postdoctoral researcher at ISTA with Thomas Henzinger.
∗
∗
My research focuses broadly on formal verification and runtime monitoring of machine learning, in particular, control systems under uncertainty.
My research focuses broadly on formal verification and runtime monitoring of machine learning, in particular, control systems under uncertainty.
My research focuses broadly on formal verification and runtime monitoring of machine learning, in particular, control systems under uncertainty.
mentoring
My career path has taken me from mathematics and financial risk analysis to computer science research. Beyond research, I am committed to mentoring junior scientists and co-founded initiatives supporting underrepresented communities in computer science, including the award-winning Future Female+ Faculty Program.
My career path has taken me from mathematics and financial risk analysis to computer science research. Beyond research, I am committed to mentoring junior scientists and co-founded initiatives supporting underrepresented communities in computer science, including the award-winning Future Female+ Faculty Program.
Prospective students: hi! Check out this dedicated page and my lab's page.
Prospective students: hi! Check out this dedicated page and my lab's page.
Prospective students: hi! Check out this dedicated page and my lab's page.
go explore my work!
