Name:Maurice ter Beek

Affiliation:ISTI-CNR, Pisa, Italy

Research interests:Formal Methods, Model Checking Tools, Software Product Line Engineering, Service-Oriented Computing, Team Automata