Sophia Drossopoulou - Sophia Drossopoulou

Sophia Drossopoulou
Οφία Δροσοπούλου
narozený
Athény
Alma materTechnologický institut v Karlsruhe
Vědecká kariéra
PoleProgramovací jazyky
InstituceImperial College London
TezeVerschmelzen von Aktionen v Zerteilern  (1982)
Doktorský poradceGerhard Goos
Peter Deussen[1]
DoktorandiDiomidis Spinellis
webová stránkawww.doc.ic.ac.Spojené království/ ~ scd/

Sophia Chloe Drossopoulou (řecký: Οφία Δροσοπούλου) je počítačový vědec, v současné době pracuje v Imperial College London, kde je profesorkou programovacích jazyků. Zasloužila si ji Ph.D. z Technologický institut v Karlsruhe.

Zabývá se zejména formálními metodami programování jazyků; její práce je pozoruhodná důkazem spolehlivosti Jáva programovací jazyk.[2]

Její první Ph.D. student byl Diomidis Spinellis. Je dcerou autora Athena Cacouris (řecký: Αθηνά ΚακούρηV současné době vyučuje první ročník kurzu výpočetní techniky a společných matematiků a počítačových věd na Imperial College v Londýně s názvem „Reasoning about Programmes“.

Bibliografie

  • Uhl, Juergen; Drossopoulou, Sophia; Persch, Guido; Goos, Gerhard; Dausmann, Manfred; Winterstein, Georg; Kirchgaessner, Walter (1982). Atributová gramatika pro sémantickou analýzu Ady. Přednášky z informatiky. 139. Springer Science + Business Media. ISBN  978-0-387-11571-9.
  • Clarke, D; Drossopoulou, S (2002). Msgstr "Vlastnictví, zapouzdření a disjunktnost typu a účinku". Oznámení ACM SIGPLAN. 37 (11): 292–310. doi:10.1145/583854.582447.
  • Sophia Drossopoulou, vyd. (2008). Přednášky z informatiky. Programming Languages ​​and Systems, 17. European Symposium on Programming (ESOP) (koná se jako součást Společných evropských konferencí o teorii a praxi softwaru, ETAPS 2008, Budapešť, Maďarsko, 29. března - 6. dubna 2008). Springer. ISBN  978-3-540-78738-9.
  • Sophia Drossopoulou, vyd. (2009). Přednášky z informatiky. ECOOP 2009 - Objektově orientované programování, 23. evropská konference, Janov, Itálie, 6. – 10. Července 2009. Springer. ISBN  978-3-642-03012-3.

Reference

  1. ^ Sophia Drossopoulou na Matematický genealogický projekt
  2. ^ Drossopoulou, Sophia; Eisenbach, Susan; Khurshid, Sarfraz (1999). „Je zvuk systému Java Type?“ (PDF). Teorie a praxe objektových systémů. 5: 3–24. CiteSeerX  10.1.1.30.2068. doi:10.1002 / (SICI) 1096-9942 (199901/03) 5: 1 <3 :: AID-TAPO2> 3.0.CO; 2-T.

externí odkazy