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.
November 11, 2016
Go to the news overview.