Anton Wijs – Eindhoven University of Technology
He is currently a post-doc researcher in the Model-Driven Software Engineering section of the Eindhoven University of Technology.
In 2007, he obtained his PhD at the VU University of Amsterdam on Model Checking Techniques, research which he had conducted at
the Centrum Wiskunde & Informatica. After that, he was a post-doc for two years in Grenoble at INRIA Rhone-Alpes, where he worked in
a European project on the use of model checking techniques for the analysis of biological system models. His current research is focussed
on the use of modern parallel architectures such as GPGPUs and multi-core CPUs to perform computations related to model checking and
the analysis of biological models.
Talk at GPGPU-day 2013: Efficient Reconstruction of Biological Networks via Transitive Reduction on GPUs