Dr. Georgiana Caltais

Post-doctoral researcher

Contact

Phone: +49 7531  88-4762

Room: PZ 913

Website

Office Hours

By e-mail appointment

I am a post-doctoral researcher 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.

I graduated my PhD from Reykjavík University and Radboud University, under the supervision of Luca Aceto, Marcello Bonsangue, Anna Ingólfsdóttir, Jan Rutten and Alexandra Silva. See here for more details about my thesis "Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics".

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

Keywords: concurrency, coalgebra, process algebra, automata, structural operational semantics, model checking, causality checking, equational logic, rewriting logic.

More details can be found in my CV.

I can be reached via e-mail.