Iain Phillips
Senior Lecturer in the
Programming Languages and Systems Section,
of the Department of Computing,
Imperial College, London.
Publications
Recent Activities (2008 onwards):
Collaboration
Summer School Lectures
Invited Talks
Programme Committees
PhD Examining
-
[2016]
Internal examiner for Rumyana Neykova, Imperial College London.
-
[2015]
Member of Jury (Rapporteur),
Ioana Cristescu, Université Paris Diderot.
‘Sémantique operationelle et dénotationelle
du π-calcul reversible’
-
[2014]
Internal examiner for Pavlo Bilokon, Imperial College London.
-
[2012] Member of Jury (Rapporteur), Claudio Mezzina, University of Grenoble (and University of Bologna).
‘Reversing execution in Higher-Order π’
-
[2010] Internal examiner for Dimitris Mostrous, Imperial College London.
‘Session Types in Concurrent Calculi: Higher-Order Processes and Objects’
-
[2009] Member of Jury (Rapporteur), Jesus Aranda, École Polytechnique, Paris (and Universidad del Valle, Cali, Colombia).
‘On the Expressivity of Infinite and Local Behaviour in some Fragments of the Pi-calculus’
PhD Supervision
-
[2016-] Co-supervisor, Eva Graversen (co-supervisor: Nobuko Yoshida)
-
[2016-] Second supervisor, Tommi Pesu (supervisor: Will Knottenbelt)
-
[2016-] Second supervisor, Assel Altayeva (supervisor: Nobuko Yoshida)
-
[2013-] Second supervisor, Weizhen Yang (supervisor: Nobuko Yoshida)
-
[2010-2013] Second supervisor, Björn Lellmann (supervisor: Dirk Pattinson)
-
[2010-2013] Second supervisor, Dimitrios Kouzapas (supervisor: Nobuko Yoshida)
-
[2008-12] Second supervisor, Andi Bejleri (supervisor: Nobuko Yoshida)
Courses taught
-
Graphs and Algorithms: first-year undergraduate
-
Introduction to Bioinformatics: third-year undergraduate
-
Complexity: fourth-year undergraduate and postgraduate
-
Discrete Mathematics: first-year undergraduate