Bob Rubbens

Bob Rubbens is a Researcher in the Formal Methods and Tools group at the Department of Computer Science, Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente. His work focuses on formal verification techniques for concurrent and distributed software systems, with emphasis on practical tool development and case studies.

His research spans concurrent software, choreography, runtime verification, and program transformations. He investigates correctness in parameterized systems and shared-memory concurrency, frequently applying formal methods to real-world software challenges through collaborations with industry and academic partners.

Recent publications (2021-2025) demonstrate consistent innovation in choreography-based program generation and verification tooling. Key contributions include parameterized choreography frameworks, shared-memory concurrency solutions, and integrations of verification tools like VerCors for Java systems, often validated through case studies and open datasets.

Scientific Awards:

• COORDINATION 2025 Best Paper Award (June 2025)

Advising and Grants: The provided text contains no information about student advising or research grants.

Labs and Teams: Rubbens actively contributes to the Formal Methods and Tools research group at the University of Twente, which develops verification methodologies and tools for critical software systems, maintaining strong ties with international verification communities through conferences like CAV and IFM.