Georgiana Caltais

I am an independent junior scientist at the University of Konstanz, Chair for Software and Systems Engineering. Previously, I was appointed as a post-doctoral researcher at ETH Zürich, Chair of Software Engineering, and tenured at A. I. Cuza University, Faculty of Computer Science.


My research interests center around the formal modelling, specification and analysis of computer systems, with emphasis on automata, formal languages and system semantics.