Georgiana Caltais

About

Georgiana Caltais is a researcher whose work centers on formal verification, program correctness, and concurrent object-oriented programming. Her most cited paper, "On the verification of SCOOP programs" (2016), addresses the challenge of ensuring reliability in concurrent systems by applying formal methods to the SCOOP (Simple Concurrent Object-Oriented Programming) model. This contribution is critical for developing safe and predictable software in distributed and multi-threaded environments. While her citation count is modest, her work lays foundational groundwork for rigorous verification techniques that can prevent deadlocks, race conditions, and other concurrency bugs. Caltais’s research bridges theoretical computer science and practical software engineering, offering tools and frameworks that help developers reason about program behavior. Her focus on SCOOP—a language designed for teaching concurrency—also highlights her commitment to accessible, educational contributions. For students and researchers interested in formal methods, concurrency, or software reliability, Caltais’s work provides a clear entry point into the complexities of verifying modern, parallel systems.

Research Focus

Key Achievements

Top Papers

1. 1
   On the verification of SCOOP programs

   3 citations · 2016

Key Collaborators

Contact & Links