Alfons Laarman graduated Cum Laude

Alfons, now Dr. Laarman, successfully defended his PhD thesis on "Scalable Multi-core Model Checking". His thesis, supervised by Prof. Jaco van de Pol, was distinguished with the Cum Laude predicate. His PhD-defense was the closure of the Dutch Model Checking Day "Advanced Model Checking Algorithms" organized by the University of Twente.


May 9, 2014
Go to the news overview.