Vincent Bloemen wins Best Presentation Award at the FM 2016 Doctoral Symposium

During the Doctoral Symposium of the 21st International Symposium on Formal Methods (FM 2016) in Cyprus, Vincent Bloemen won the Best Presentation Award for his paper titled 'Parallel Model Checking of ω-Automata'.

He presented ideas on how he attempts to improve the model checking procedure by investigating different types of ω-automata such as Büchi, Rabin and Parity, and developing efficient parallel algorithms for checking such automata.

Further information.

November 11, 2016
See this news item in overview by year.