Postdoctoral Researcher at the University of Victoria, Canada. Studying how generative AI changes collaboration in software engineering.

On the scalability of the gpuexplore explicit-state model checker

Published in Graphs as Models (GAM), 2017