Dr. Maurice ter Beek

Dr. Maurice ter Beek has been a researcher at CNR-ISTI since 2003. He received his Master’s degree in computer science in 1996 and his PhD in 2003, both at Leiden University, The Netherlands, and he has spent substantial periods at other European universities and research institutes. His current research interests include the further development of the team automata framework that he originally introduced in his PhD thesis and, in particular, the development and application of formal verification methods and tools to complex, distributed systems, groupware systems, and communication protocols — recently focussing on applications in service-oriented computing and product line engineering.