Sophia Drossopoulou

Sophia Drossopoulou
Σοφία Δροσοπούλου
Urodzić się	Ateny
Alma Mater	Instytut Technologii w Karlsruhe
Kariera naukowa
Pola	Języki programowania
Instytucje	Imperial College w Londynie
Praca dyplomowa	Verschmelzen von Aktionen w Zerteilern (1982)
Doradca doktorski	Gerharda Goosa Petera Deussena
Doktoranci	Diomidis Spinellis
Strona internetowa	www .doc .ic .ac .uk /~scd /

Sophia Chloe Drossopoulou ( grecki : Σοφία Δροσοπούλου ) jest informatykiem , obecnie pracuje w Imperial College London , gdzie jest profesorem języków programowania. Uzyskała tytuł doktora. z Instytutu Technologii w Karlsruhe .

Jej zainteresowania badawcze koncentrują się głównie na formalnych metodach języków programowania; jej praca wyróżnia się dowodem solidności języka Java .

Jej pierwszy doktorat uczniem był Diomidis Spinellis . Jest córką autorki Ateny Cacouris ( gr . Αθηνά Κακούρη ). Obecnie prowadzi kurs pierwszego roku dla studentów informatyki i wspólnej matematyki oraz informatyki w Imperial College w Londynie, zatytułowany „Rozumowanie o programach”.

Bibliografia

•   Uhl, Juergen; Drossopoulou, Zofia; Persch, Guido; Gos, Gerhard; Dausmann, Manfred; Winterstein, Georg; Kirchgaessner, Walter (1982). Gramatyka atrybutów do analizy semantycznej Ady . Notatki z wykładów z informatyki . Tom. 139. Springer Science+Business Media . ISBN 978-0-387-11571-9 .
• Clarke, D; Drossopoulou, S (2002). „Własność, enkapsulacja i rozbieżność typu i skutku”. Uwagi ACM SIGPLAN . 37 (11): 292–310. doi : 10.1145/583854.582447 .
•   Sophia Drossopoulou, wyd. (2008). Notatki z wykładów z informatyki . Programming Languages ​​and Systems, 17th European Symposium on Programming (ESOP) (w ramach Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapeszt, Węgry, 29 marca – 6 kwietnia 2008). Skoczek. ISBN 978-3-540-78738-9 .
•   Sophia Drossopoulou, wyd. (2009). Notatki z wykładów z informatyki . ECOOP 2009 - Programowanie obiektowe, 23. Konferencja Europejska, Genua, Włochy, 6–10 lipca 2009 r. Springer. ISBN 978-3-642-03012-3 .

Linki zewnętrzne

• „Sophia Drossopoulou - profesor języków programowania” . Imperialny . Źródło 2016-02-11 .