Konstantinos Sagonas

Konstantinos Sagonas is a Senior Lecturer/Associate Professor at Uppsala University's Department of Information Technology. His work bridges theoretical and practical aspects of computer science, focusing on concurrency, formal verification, and functional programming in Erlang. Despite his self-identification as a "terrible e-mail responder," he encourages phone contact for direct communication.

• University: Uppsala University
• Department: Department of Information Technology
• Academic Rank: Senior Lecturer/Associate Professor

His research spans from stateless model checking and dynamic partial order reduction for concurrent systems to static analysis and type systems in functional programming. Recent work explores IoT protocol testing via fuzzing and symbolic execution, fine-grain memory coherence for security, and automated detection of state machine bugs in network protocols.

Key publication trends include formal methods (2024: "Testing IoT Protocol Requirements"; 2023: "Tailoring Stateless Model Checking for Event-Driven Programs") and concurrent data structures (2021: "Lock-free Contention Adapting Search Trees"). Earlier contributions focus on Erlang optimization (2002-2018) and logic programming tabling (1999-2006).