tel: (+44) 20 7594 8368, fax:
(+44) 20 75818024
Τὸ τῷ σμήνει μὴ συμφέρον οὐδὲ τῇ μελίσσῃ συμφέρει,
... the detrimental to the swarm, is not beneficial to the bee either ...
Marcus Aurelius, Meditations, written in Ancient Greek while on campaign between 170 and 180 CE
· Object Oriented Programming Languages
· Types, Module Systems, Traits
· Separate Compilation & Dynamic Linking
· Ownership Types & Lightweight program reasoning
· Session Types
· Objects Dynamically Changing Class
· Type Inference
· Delegation and Scripting Languages
Research papers here
Research group SLURP
· The Benefits of putting Objects into Boxes (given at ESOP'06)
· Polymorphic Bytecode & Flexible Linking (given at Cassis'05)
· Session Types, and the price of progress (given at FMCO'06)
ECOOP 2013, BEAT’13, DDFP 2013, PLDI 2012, PLDI 2012, ECOOP 2011, ESOP 2011, ECOPP 2010, OOPSLA 2009, ECOOP 2009 (chair) in Genova, FOOL 2009 in Savannah Gerorgia, TGC08 in Barcelona, PL 2009, OOPS 2009, ESOP 2008 (chair) in Budapest, IWACO 2007 in Berlin, AOSD 2007 in Vancouver, ESOP 2007 in Braga, POPL 2006 in Charleston, SouthCarolina, and FMOODS 2005 in Athens, Greece, and FOAL'2005 in Chicago. and ECOOP 2004 in Oslo, and FOOL 11 in 2004, and ECOOP 2003 in Darmstadt, and for FTfJP (ECOOP Workshop) in 2006 (Nantes) , in 2003 (Darmstadt) , in 2002 (Malaga) , in 2001 (Budapest) , and in 2000 (Nice) , and ESOP 2000 (Berlin) , and ICFP 1999 (Paris), and FOOL6 (San Antonio), and FUJ'98 (OOPSLA Workshop) .
People whom I have had the good luck to meet, and in some form or other, learn from and collaborate with, in chronological order:
Gerhard Goos (Uni Karlsruhe), Peter Deussen (Uni Karlsruhe), Guido Persh, Juergen Uhl, Manfred Dausmann, Peter Dencker, Georg Winterstein, Martin Bever, John Darlington, Susan Eisenbach, Lee Mc Loughlin, Simon Brock, Ross Paterson (City University), Aneurin Easwaran, Constantine Goulimis (Greycon), Diomidis Spinellis (Athens UEB, and Greek Ministry of Finance), Dan Yang, Stephan Karathanos, Theoni Pittoura, David Wragg, Mark Skipper, Tanya Valkyevich, Mariangiola Dezani-Ciancaglini (University ofTurin), Ferruccio Damiani (University of Turin), Paola Giannini (University of Piemonte Orientale), Alex Buckley (SUN), Ross Jarman, Elena Zucca (University of Genova), Davide Ancona (University of Genova), Christopher Anderson, Dave Clarke (Leuven), Giovanni Lagorio (University of Genova), Matthew Smith, Alisdair Wren (now University of Cambridge), Paul Jolly, Charles Smith, Alex Ahern, Alexis Petrounias, Nobuko Yoshida, Nick Cameron, Dimitris Mostrous, Tobias Wrigstad (Purdue), James Noble (University of Wellington), Dave Cunningham (IBM Yorktown Heights), Peter Müller (ETH Zurich), Werner Dietl (Unive. Of Washington), Erik Ernst (Aarhus), Elena Giachino (University of Turin), Sara Capecchi (University of Turin), Mario Coppo (Univeristy of Turin), Adrian Francalanza (University of Malta), Alex Summers (ETH Zurich), Matthew Sackman, William Sonnex, Azalea Raad, Raoul-Gabriel Urma.
Teaching at Imperial College (currently):
· Advanced Issues in Object Oriented Languages
· Reasoning about Haskell and Java Programs