Аугусто Сампайо
Аугусто Сесар Алвес Сампайо | |
|---|---|
| Рожденный | Ресифи, Пернамбуку, Бразилия |
| Национальность | Бразильский |
| Альма-матер | Федеральный университет Пернамбуку (бакалавр, магистр) |
| Известный | Формальные методы, семантика языка, преобразования моделей |
| Награды | Кавалер ордена «За научные заслуги» (2013 г.). |
| Научная карьера | |
| Диссертация | (1993) |
| Докторантура | Профессор сэр Тони Хоар |
Аугусто Сезар Алвес Сампайо — бразильский учёный-компьютерщик , работающий с формальными методами и языковой семантикой .
Аугусто Сампайо из Ресифи , Пернамбуку , Бразилия . Он окончил Центр информатики (CIn) Федерального университета Пернамбуку (UFPE) (со степенью бакалавра в 1985 году и степенью магистра в 1988 году). Он защитил докторскую диссертацию под руководством профессора сэра Тони Хоара в вычислительной лаборатории Оксфордского университета (закончил в 1993 году). [1] В 2013 году Сампайо стал кавалером Ордена за научные заслуги, присуждаемого Министерством науки и технологий Бразилии. В июле 2016 года Сампайо получил звание почетного доктора , Йоркского университета Великобритания. [2]
Сампайо — профессор Федерального университета Пернамбуко. [3] Его основной вклад относится к области преобразований моделей и автоматического создания тестов на основе формальных моделей. [4]
Ссылки
[ редактировать ]- ^ Сампайо, Аугусто (1993). Алгебраический подход к проектированию компилятора (кандидатская диссертация). Оксфордский университет . OCLC 556622584 . EThOS uk.bl.ethos.334903 .
- ^ «Тони Хоар» . Кафедра компьютерных наук Оксфордского университета . Проверено 31 мая 2016 г.
- ^ «Аугусто Сампайо» . Бразилия: Федеральный университет Пернамбуку . Проверено 9 апреля 2014 г.
- ^ Аугусто Сампайо на DBLP библиографическом сервере .
Внешние ссылки
[ редактировать ]- Официальный сайт
- Публикации Аугусто Сезара Алвеса Сампайо, проиндексированные Google Scholar
- Аугусто Сампайо на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта статья бразильского ученого незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта биографическая статья о компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |
- Живые люди
- Люди из Ресифи
- Выпускники Федерального университета Пернамбуку
- Выпускники Оксфордского университета
- Бразильские ученые-компьютерщики
- Формальные методы люди
- Члены кафедры компьютерных наук Оксфордского университета
- Академический состав Федерального университета Пернамбуку
- Бразильский учёный незавершен
- Незавершенные статьи о компьютерных специалистах