София Дроссопулу
София Дроссопулу | |
|---|---|
София Дросопулу | |
| Рожденный | |
| Альма-матер | Технологический институт Карлсруэ |
| Научная карьера | |
| Поля | Языки программирования |
| Учреждения | Имперский колледж Лондона |
| Диссертация | Объединение действий в разделителях (1982) |
| Докторантура | Герхард Гус Питер Деуссен [1] |
| Докторанты | Диомидис Спинеллис |
| Веб-сайт | www |
София Дроссопулу ( греч . Σοφία Δροσοπούλου ) — ученый-компьютерщик , в настоящее время работает в Имперском колледже Лондона , где она является профессором языков программирования. Она получила докторскую степень. из Технологического института Карлсруэ .
Ее исследовательские интересы в основном связаны с формальными методами языков программирования; ее работа примечательна доказательством надежности языка программирования Java . [2]
Ее первая докторская степень. Студентом был Диомидис Спинеллис . Она дочь юриста и политика Антониса Дроссопулоса и писательницы Афины Какурис ( греч . Αθηνά Κακούρη ).
Она преподает студентам бакалавриата, изучающим вычислительную технику и совместную математику и вычислительную технику в Имперском колледже Лондона. Она преподает курсы «Логика и рассуждение» студентам первого курса и «Модели вычислений» студентам второго курса. [3]
Библиография
[ редактировать ]- Уль, Юрген; Дроссопулу, София; Перш, Гвидо; Гус, Герхард; Даусманн, Манфред; Винтерштейн, Георг; Кирхгесснер, Вальтер (1982). Атрибутная грамматика для семантического анализа Ады . Конспекты лекций по информатике . Том. 139. Springer Science+Business Media . ISBN 978-0-387-11571-9 .
- Кларк, Д; Дроссопулу, С (2002). «Владение, инкапсуляция и непересекаемость типа и эффекта». Уведомления ACM SIGPLAN . 37 (11): 292–310. дои : 10.1145/583854.582447 .
- София Дроссопулу, изд. (2008). Конспекты лекций по информатике . Языки программирования и системы, 17-й Европейский симпозиум по программированию (ESOP) (проводится в рамках Объединенной европейской конференции по теории и практике программного обеспечения, ETAPS 2008, Будапешт, Венгрия, 29 марта – 6 апреля 2008 г.). Спрингер. ISBN 978-3-540-78738-9 .
- София Дроссопулу, изд. (2009). Конспекты лекций по информатике . ECOOP 2009 - Объектно-ориентированное программирование, 23-я Европейская конференция, Генуя, Италия, 6–10 июля 2009 г. Springer. ISBN 978-3-642-03012-3 .
Ссылки
[ редактировать ]- ^ София Дроссопулу в проекте «Математическая генеалогия»
- ^ Дроссопулу, София; Айзенбах, Сьюзен; Хуршид, Сарфраз (1999). «Здорова ли система типов Java?» (PDF) . Теория и практика объектных систем . 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 .
- ^ «Преподавание – профессор София Дроссопулу» . www.Империал.ac.uk . Проверено 29 октября 2023 г.
Внешние ссылки
[ редактировать ]- «София Дроссопулу – профессор языков программирования» . Империал . Проверено 11 февраля 2016 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
