About me

About me

I'm a PhD student at the Computer Science department of the TU/e working on human aspects of Software Engineering

On the scalability of the gpuexplore explicit-state model checker

Published in Graphs as Models, 2017

Download paper here