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