Sophia Drossopoulou
|
|
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
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, 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 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:
|
|
||||||||
|
|