Hugues Evrard is a PostDoc research associate in the Multicore Programming group of Imperial College London. His research aims at pioneering more efficient, more reliable and more convenient ways of programming concurrent systems. To this aim, he has worked on the design, formal verification and implementation of a multiway synchronisation primitive, and more recently on support of multitasking on graphics processing units (GPUs) and security testing of GPU drivers.
Alongside research, Hugues Evrard is also co-founder of GraphicsFuzz, an Imperial College spinout which offers automated reliability testing for GPU drivers.
PhD in Computer Science, 2015
Grenoble Alpes University (prepared at INRIA)
MSc in Computer Science, 2012
ENSIMAG - Grenoble Institute of Technology
Reconstruct distributed traces from send/receive causality
Generate a distributed implementation from the formal model of a concurrent program
Since I started the postdoc at Imperial College, I have been actively involved in the mentoring of several students:
During my PhD, I was a teaching assistant for the following courses at ENSIMAG (top-rated French “Grande École”, part of the Grenoble Insitute of Technology):