## Sophia Drossopoulou Professor in Programming Languages Department of Computing, Imperial College London 180 Queen's Gate London SW7 2AZ United Kingdom |
tel: (+44) 20 7594 8368, fax: (+44) 20 75818024 email: S dot Drossopoulou at imperial dot ac dot uk | Green Concerns Blog

Τ ὸ τῷ σμήνει μὴ συμφέρον οὐδὲ τῇ μελίσσῃ συμφέρει,

... 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

Research Interests: · 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 · Concurrency
| ### ### Research papers here ### Research group SLURP ### Invited Talks ### · 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)

Program committees:

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, I WACO 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) .

Taught courses at the École Jeunes Chercheurs en programmation in 2002 (Rennes) with slides and in 2001 (Cargese) .

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 ### Short CV: · born and school in Athens, Greece. · studies, PhD, RA, and finally lecturer at the Technishe Unversität Karslruhe, Germany; worked on Ada and Modula-2 compilers. · RA on Flagship project, then Lecturer, then Senior Lecturer, then Reader, and then Professor at the Department of Computing, Imperial College London.
Selected slides from recent talks · Zeno (to be added) · Trust the clones (to be added) ### Selected slides from student projects supervised · Chinmay Kakatkar, BEng 3,Chalice to Boogie, 2012 · Generic Nullity and Immutability, JMC 4, James Elford, 2012 · Types for Deep and Shallow Cloning, MEng 4, Ka Wai Cheng, 2012