Research Interests

I work on probabilistic programming, and the formalisation and verification of real-world concurrent and distributed systems. I am also actively searching for tight combinations of machine learning and program analysis.

PhD Students

1. •Junghun Yoo
   

4. •Yuan Zhou. Co-supervised by Frank Wood and Sam Staton.
   

7. •Rob Cornish. Co-supervised by Frank Wood.
   

Program Committee

1. •Program chair for ESOP 2017
   

2. •ERC for POPL 2017
   

3. •PC for PMLDC 2016
   

4. •PC for SAS 2015
   

5. •PC for ESOP 2015
   

6. •ERC for POPL 2015
   

7. •Co-organizer for TAPAS 2014
   

8. •PC for ECOOP 2014
   

9. •Program co-chair for HOPE 2013, HOPE 2014
   

10. •PC for SAS 2013
    

11. •PC for ECOOP 2012
    

12. •Program chair for APLAS 2011.
    

13. •PC for SAS 2011.
    

14. •PC for POPL 2011.
    

15. •Program co-chair for the Theory Workshop of VSTTE 2010.
    

16. •PC for TAPAS 2010.
    

17. •PC for VMCAI 2010.
    

18. •PC for FMICS 2009.
    

19. •PC for LICS 2009.
    

20. •PC for APLAS 2008.
    

21. •PC for SPACE 2004.
    

Resume

My resume is available (resume.ps, resume.pdf, resume.dvi).