Александра Сильва - Alexandra Silva

Александра Сильва
Родился
Александра Мартинс да Силва

Февраль 1984 (36 лет)
Чавес, Португалия
Альма-матерУниверситет Минхо
Radboud University Nijmegen (Кандидат наук)[1]
НаградыПриз Филипа Леверхалма (2016)
Премия Пресбургера (2017)
Премия Роджера Нидхема (2018)
Товарищество Королевского общества Вольфсона (2019)
Научная карьера
ПоляИнформатика
Языки программирования
Семантика
Коалгебра
Формальные методы[2]
УчрежденияУниверситетский колледж Лондона
ТезисКлини коалгебра  (2010)
ДокторантЯн Руттен и Марчелло Бонсанге
Интернет сайталександрасильва.org

Александра Сильва (1984 г.р.) - португалец специалист в области информатики и профессор алгебры, семантики и вычислений в Университетский колледж Лондона.[3][2][4]

Награды и награды

Сильва выиграл Приз Филипа Леверхалма в машиностроении в 2016 году.[5] Она выиграла Премия Пресбургера ежегодно присуждается «молодому ученому за выдающийся вклад в теоретическую информатику, подтвержденный опубликованной статьей или серией опубликованных статей» в 2017 году, и Премия Роджера Нидхема в 2018 году.[6]

использованная литература

  1. ^ Сильва, Александра (2010). Клини коалгебра (PDF). ru.nl (Кандидатская диссертация). 694079062. HDL:2066/83205. OCLC  694079062. Бесплатно читать
  2. ^ а б Александра Сильва публикации, проиндексированные Google ученый Отредактируйте это в Викиданных
  3. ^ Сильва, Александра (2017). "CV Александры Сильвы" (PDF). alexandrasilva.org. Архивировано из оригинал (PDF) на 2017-10-03.
  4. ^ "Александра Сильва". www.cs.ucl.ac.uk. 2018-08-20.
  5. ^ «Доктор Алекс Сильва награжден престижной премией Leverhulme Trust Award». Новости компьютерных наук. Университетский колледж Лондона. 28 октября 2016 г.. Получено 2019-09-04.
  6. ^ Анон (2018). «Новости информатики: Александра Сильва получает награду BCS Roger Needham Award 2018». Получено 2018-08-30.