Post #2919947

oh, I still haven't properly announced this on here, have I? well, now that things are getting a bit more official... I'm delighted to say that next month I'll be moving down to west London and starting a new postdoc position at Royal Holloway University of London, working with Julien Lange on the INDIMO project! we're looking at developing new techniques and tools to automatically detect bugs in message-passing concurrent systems (right in my wheelhouse), and particularly focusing on programs that have statically unknown parameters (which is certainly less up my typical alley - but excited to learn ☺️) I'm also very happy to *f i n a l l y* be able to move in together with my wonderful partner, who by the way is also starting a new job at Imperial College London next month - so congratulations to her as well ❤️