G. Caltais

G. Caltais is an Assistant Professor in the Formal Methods and Tools (FMT) group at the University of Twente's Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS). Previously, they worked as an independent junior scientist at the University of Konstanz (Chair for Software and Systems Engineering) and as a post-doctoral researcher at ETH Zürich (Chair of Software Engineering). They hold a PhD from Reykjavík University and Radboud University.

Research Focus: Formal modeling of computer systems, emphasizing automata theory, concurrency, causal/knowledge models, and software-defined networks (SDNs). Current projects include DyNetKAT (formal SDN analysis), Zorro (zero downtime knowledge models), and exploring cyclic structures in software correctness.

Committees: Served on program committees for CALCO 2023, ESOP 2023, FORTE 2022-2023, FSEN 2023-2025, IEEE NFV-SDN 2020-2022, SPIN 2022-2024, and others. Organized events like CREST@ETAPS 2019/2023 and EXPRESS/SOS 2023.

Student Projects: Offers B.Sc./thesis proposals on DyNetKAT visualization, causal analysis of SDN safety violations, and learning formal network models from real datasets. Contact for custom project ideas.