Georgiana Caltais

Current Affiliation

I am a PhD student in Computer Sicence at the Reykjavik University, Iceland under the supervision of Luca Aceto and Anna Ingólfsdóttir.

The topic of my Ph.D. thesis is Formal Methods for Concurrency: Coalgebra and Structural Operational Semantics.

The research project I am currently working on is Meta-Theories of Algebraic Process Theories.

Research Interests

Formal languages, process algebras, automata, semantics of concurrency, structural operational semantics, equational logic, rewriting logic, coalgebra.

Publications

Fully listed here.

CV (.pdf)

Contact