Dr. G. Caltais | People Pages: Find employees & contact details

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, causal models, knowledge models, software defined networks, systems and software engineering.

Current interests:

DyNetKAT: a formal framework for dynamic software defined networks [paper] [slides]
Zorro: formal knowldege models for zero downtime [web]

My CV can be found here.

UT students interested in collaborating with me, can review the available (thesis) proposals: [1], [2], [3].

____________________________________

Activities & Events (selection):

FSEN'25 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, STAF 2024, CREST@ETAPS 2019/2023, EXPRESS/SOS 2023, IEEE NFV-SDN 2020-2022, SAC-SVT 2023/2024, SPIN 2023.

Organisations

Affiliated study programs

Courses academic year 2024/2025

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.

Courses academic year 2023/2024

Current projects

Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics

ZORRO

Intelligent Diagnostics, supported by sensor technology and data analytics, can replace traditional human-based diagnosis with AI algorithms to precisely detect anomalies and link them to potential root causes, thus enabling the implementation of appropriate corrective and preventive actions. ZORRO project is centered around addressing significant challenges: Developing reliable and resource-efficient monitoring systems, Incorporating formalised knowledge into the diagnostic workflow, Creating accurate system-level diagnostic algorithms, and Ensuring tight integration within the system's engineering life cycle. Led by Prof. Dr. Mariëlle Stoelinga, ZORRO is a collaborative initiative involving renowned experts from the University of Twente, Saxion University of Applied Sciences, VU Amsterdam, and TNO-ESI.

Finished projects

Causal Reasoning in NetKAT

CReNKAT

We live in a networkcentric world where communication supported by robust an reliable network systems is of real importance. Malfunctioning of network systems can lead to costly losses and even endanger lives. For an example, a widely publicised failure was the crash of the Google server for 40 minutes which, in turn, caused Gmail and Chrome to crash all around the world, leaving millions of users without access to their data. Troubleshooting the issue and identifying the root cause of the event revealed a faulty load balancing configuration which was eventually fixed. This project aims at addressing similar problems, and developing rigorous methodologies for modelling and analysing causes of anomalous behaviours in software defined networks (SDNs). Several big companies including Google, Microsoft, IBM and Nokia are using SDNs to enhance their network infrastructure and operations.

Address

University of Twente

Zilverling (building no. 11), room 3039
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location