Александра Силва

Александра Силва
Александра Силва
Рожденный	Александра Мартинс да Силва ; февраль 1984 г. (40 лет) ; Шавиш, Португалия
Альма-матер	Университет Минхо ; Университет Радбауд в Неймегене (доктор философии)
Награды	Премия Филипа Леверхалма (2016) ; Премия Пресбургера (2017) ; Премия Роджера Нидэма (2018) ; Стипендия Королевского общества Вольфсона (2019)
	Научная карьера
Поля	Информатика ; Языки программирования ; Семантика ; Коалгебра ; Формальные методы
Учреждения	Корнелльский университет
Диссертация	Коалгебра Клини (2010)
Докторантура	Ян Рюттен и Марчелло Бонсанге
Веб-сайт	Александра Силва .org

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

Награды и почести

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

Ссылки

^ Jump up to: ^а ^б Публикации Александры Сильвы , проиндексированные Google Scholar
^ Сильва, Александра (2010). Коалгебра Клини (PDF) . ru.nl (кандидатская диссертация). 694079062. hdl : 2066/83205 . OCLC 694079062 .
^ Сильва, Александра (2017). «Резюме Александры Сильвы» (PDF) . alexandrasilva.org . Архивировано из оригинала (PDF) 3 октября 2017 г.
^ «Александра Сильва» . www.cs.ucl.ac.uk. 20 августа 2018 г.
^ «Доктор Алекс Сильва награжден престижной премией Leverhulme Trust Award» . Новости компьютерных наук . Университетский колледж Лондона. 28 октября 2016 г. Проверено 4 сентября 2019 г.
^ Анон (2018). «Новости информатики: Александра Сильва получает премию BCS Роджера Нидхэма 2018» . Проверено 30 августа 2018 г.

П ≟ НП

Эта биографическая статья, посвященная ученому-компьютерщику незавершена , . Вы можете помочь Википедии, расширив ее .

Эта статья о португальском ученом незавершена . Вы можете помочь Википедии, расширив ее .

[gs-1] Jump up to: ^а ^б Публикации Александры Сильвы , проиндексированные Google Scholar

[aphd-2] Сильва, Александра (2010). Коалгебра Клини (PDF) . ru.nl (кандидатская диссертация). 694079062. hdl : 2066/83205 . OCLC 694079062 .

[cv-3] Сильва, Александра (2017). «Резюме Александры Сильвы» (PDF) . alexandrasilva.org . Архивировано из оригинала (PDF) 3 октября 2017 г.

[4] «Александра Сильва» . www.cs.ucl.ac.uk. 20 августа 2018 г.

[5] «Доктор Алекс Сильва награжден престижной премией Leverhulme Trust Award» . Новости компьютерных наук . Университетский колледж Лондона. 28 октября 2016 г. Проверено 4 сентября 2019 г.

[6] Анон (2018). «Новости информатики: Александра Сильва получает премию BCS Роджера Нидхэма 2018» . Проверено 30 августа 2018 г.

[2]

[1]

[3]

[4]

[5]

[6]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ
Национальный	Германия Израиль Соединенные Штаты Нидерланды
академики	Ассоциация вычислительной техники ДБЛП Google Академика MathSciNet Проект математической генеалогии ОРЦИД Скопус zbMATH
Другой	ИдРеф