Sophia Drossopoulou
Professor in Programming Languages
   
      
Department of Computing,
       Imperial College London
      180 Queen's Gate
       London SW7 2AZ
       United Kingdom

Description: Sophia photograph

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 2009OOPS 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) .


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 PershJuergen Uhl, Manfred Dausmann,  Peter Dencker, Georg Winterstein,  Martin BeverJohn Darlington,  Susan Eisenbach,  Lee Mc Loughlin,  Simon Brock,  Ross Paterson (City University),  Aneurin EaswaranConstantine Goulimis (Greycon),  Diomidis Spinellis (Athens UEB, and Greek Ministry of Finance),  Dan Yang,  Stephan Karathanos,  Theoni Pittoura,  David WraggMark Skipper,  Tanya ValkyevichMariangiola Dezani-Ciancaglini (University ofTurin),  Ferruccio Damiani (University of Turin),  Paola Giannini (University of Piemonte Orientale),  Alex Buckley (SUN),  Ross JarmanElena Zucca (University of Genova),  Davide Ancona (University of Genova),  Christopher AndersonDave Clarke (Leuven),  Giovanni Lagorio (University of Genova),  Matthew SmithAlisdair Wren (now University of Cambridge),  Paul Jolly,  Charles Smith,  Alex AhernAlexis PetrouniasNobuko Yoshida,  Nick CameronDimitris MostrousTobias 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   

 

 

 

 

 

Description: windsurfing