WikiDer > София Дроссопулу

София Хлоя Дроссопулу (Греческий: Σοφία Δροσοπούλου) это специалист в области информатики, в настоящее время работает в Имперский колледж Лондон, где она является профессором языков программирования. Она заслужила ее Кандидат наук. от Карлсруэ технологический институт.

Ее исследовательские интересы в основном относятся к формальным методам языков программирования; ее работа примечательна доказательством обоснованности Ява язык программирования.^[2]

Ее первая докторская степень. студент был Диомидис Спинеллис. Она дочь автора Афина Какурис (Греческий: Αθηνά ΚακούρηВ настоящее время она преподает студентам первого года обучения вычислительной технике и совместной математике и информатике в Имперском колледже Лондона под названием «Рассуждения о программах».

Библиография

• Уль, Юрген; Дроссопулу, София; Перш, Гвидо; Гус, Герхард; Даусманн, Манфред; Винтерштейн, Георг; Кирхгесснер, Вальтер (1982). Грамматика атрибутов для семантического анализа Ады. Конспект лекций по информатике. 139. Springer Science + Business Media. ISBN 978-0-387-11571-9.
• Кларк, Д; Дроссопулу, S (2002). «Право собственности, инкапсуляция и несвязанность типа и эффекта». Уведомления ACM SIGPLAN. 37 (11): 292–310. Дои:10.1145/583854.582447.
• София Дроссопулу, изд. (2008). Конспект лекций по информатике. Языки и системы программирования, 17-й Европейский симпозиум по программированию (ESOP) (проводится в рамках Совместных европейских конференций по теории и практике программного обеспечения, ETAPS 2008, Будапешт, Венгрия, 29 марта - 6 апреля 2008 г.). Springer. ISBN 978-3-540-78738-9.
• София Дроссопулу, изд. (2009). Конспект лекций по информатике. ECOOP 2009 - объектно-ориентированное программирование, 23-я Европейская конференция, Генуя, Италия, 6–10 июля 2009 г. Springer. ISBN 978-3-642-03012-3.

Рекомендации

внешняя ссылка

• "София Дроссопулу - профессор языков программирования". Имперский. Получено 2016-02-11.