I am working at the School of Computing
at the University of Kent.
My work focuses on programming language implementation techniques
and concurrent and parallel programming.
Currently, I am working on fast dynamic language implementations,
on combining concurrency models in a safe manner,
automatically preventing concurrency issues from manifesting,
and to enable developers to make sense of complex concurrent programs
with appropriate tools.
Debugging concurrent systems is pretty hard,
and we worked already for a while to make things a
bit better.
However, a big remaining problem is that bugs are not easily reproduced.