dr. G. Caltais (Georgiana)

I am an assistant professor in the Formal Methods and Tools group at University of Twente. Previously, I worked as an independent junior scientist at University of Konstanz, Chair for Software and Systems Engineering, and as a post-doctoral researcher at ETH Zürich, Chair of Software Engineering. I graduated my PhD from Reykjavík University and Radboud University. 

My research centers around the formal modelling, specification and analysis of computer systems, with emphasis on automata, formal languages and systems semantics. Areas of interest include:

• concurrency theory, process algebra, coalgebra, causal models and causality checking, software defined networks, systems and software engineering.

Activities & Events (selection):

ChatGPT@VERSEN    ETAPS blog

(Recent) Committees:

PC: CALCO 2023, ESOP 2023, FORTE 2022/2023, FSEN 2023, IEEE NFV-SDN 2020/2021, SPIN 2022/2024, NFM 2023.

OC: FSEN 2025, CREST@ETAPS 2019/2023, EXPRESS/SOS 2023, IEEE NFV-SDN 2020-2022, SAC-SVT 2023/2024, SPIN 2023.

Organisations

• Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), Formal Methods and Tools (FMT)

• Technical Computer Science

• Computer Science

Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.

 

• 201700342 - Internship TCS
• 202001363 - Implementation Proj. Graph Isomorphism
• 202300186 - Software Systems Core
• 202300188 - Programming Theory & Project

• 192111332 - Design of Software Architectures
• 201500039 - Security Verification
• 201700342 - Internship TCS
• 202001024 - Software Systems Core
• 202001052 - Programming Theory & Project
• 202001363 - Implementation Proj. Graph Isomorphism
• 202200191 - Functional and Logic Programming
• 202200192 - Concurrency and Compiler Construction