Romain Demeyer

Romain Demeyer is a Researcher in the Faculty of Computer Science, specializing in concurrent programming and software verification. His work focuses on Software Transactional Memory (STM) in Haskell, using contracts and program transformation techniques to detect race conditions and ensure transaction consistency.

Research interests include:

• Concurrency control in functional languages
• Race-freeness verification
• Business process modeling with Saturn workflows
• Transactional memory systems
• Static analysis of concurrent programs
• Contract-based programming

Research trends across his publications reveal consistent exploration of STM Haskell's application-level guarantees, emphasizing formal verification of transactions and atomicity constraints.

Education: Master in Computer Science (thesis on Saturn workflows).

Projects: Active in Program Analysis to Support Concurrent Programming in Functional Languages (2009–present).