Georgiana Caltais

Photo of Georgiana Caltais

Visiting address

ETH Zürich
D-INFK, RZ-Building, Room J5
8092 Zürich


Phone: +41 79 857 85 29
Fax: +41 44 632 14 35

About me

I am a postdoctoral researcher at ETH Zürich - Chair of Software Engineering, funded by the Concurrency Made Easy (CME) project.

From August 2010 to August 2013 I was a PhD student at Reykjavík University, Iceland, and Radboud University, the Netherlands, under the supervision of Luca Aceto, Marcello Bonsangue, Anna Ingólfsdóttir, Jan Rutten and Alexandra Silva. My thesis, entitled "Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics", was defended on the 16'th of December 2013.

I graduated my Bachelor and Master studies at A. I. Cuza University, Romania.

More details can be found in my CV.


My research interests include: concurrency, program analysis, formal languages, automata, category theory, coalgebra, process algebra, structural operational semantics, equational logic, rewriting logic.