Том Мейбаум
Том Мейбаум | |
|---|---|
| Образование | Бакалавр наук , Университет Торонто (1970) Кандидат наук. , Лондонский университет (1974) |
| Награды | Член Королевского общества искусств |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Имперский колледж Лондон Королевский колледж Лондона Университет Макмастера |
| Веб-сайт | www |
Томас Стивен Эдвард Майбаум, член Королевского общества искусств (FRSA), учёный-компьютерщик .
Майбаум имеет степень бакалавра наук (B.Sc.) в области чистой математики в Университете Торонто , Канада (1970 г.), и степень доктора философии (Ph.D.) в области компьютерных наук в Королевы Марии и Ройал Холлоуэй колледжах . Лондонский университет , Англия (1974 г.). [1]
Майбаум занимал академические должности в Имперском колледже Лондона , Королевском колледже Лондона (Великобритания) и Университете Макмастера (Канада). [2] Его исследовательские интересы сконцентрировались на теории спецификации вместе с ее применением в различных контекстах в общей области разработки программного обеспечения .
С 1996 по 2005 год, [3] он участвовал в разработке международных стандартов в области программирования и информатики, будучи членом Международной федерации обработки информации (IFIP) Рабочей группы 2.1 IFIP по алгоритмическим языкам и исчислениям, [4] которая определила , поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68 . [5]
Он является членом Института инженерии и технологий и Королевского общества искусств . [3]
Ссылки [ править ]
- ^ «Биографическая справка: Томас Стивен Эдвард Майбаум, бакалавр наук, доктор философии CEng MIEEE FIEE FRSA» . Университет Макмастера . Проверено 29 декабря 2011 г.
- ^ «Том Мейбаум» . www.стулья-стулья.gc.ca . Канадские исследовательские кафедры . Проверено 29 декабря 2011 г.
- ^ Перейти обратно: а б Майбаум, Томас (1 сентября 2011 г.). «Биографическая справка: Томас Стивен Эдвард Майбаум» (PDF) . Кафедра вычислительной техники и программного обеспечения . Университет Макмастера . Проверено 7 февраля 2020 г.
- ^ Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 25 октября 2020 г.
- ^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 25 октября 2020 г.
Внешние ссылки [ править ]
- Домашняя страница ККЛ
- Официальный сайт Университета Макмастера
- TSE Maibaum на DBLP библиографическом сервере
- Публикации Тома Майбаума, проиндексированные Google Scholar
- Публикации Тома Мейбаума , индексируемые Microsoft Academic
- Том Майбаум в проекте «Математическая генеалогия»
Алгол- программирование |
|---|
- Живые люди
- Венгерский народ 20-го века
- Венгерские эмигранты в Канаде
- Выпускники Университета Торонто
- Венгерские эмигранты в Англии
- Выпускники Лондонского университета королевы Марии
- Выпускники Royal Holloway, Лондонский университет
- Академики Имперского колледжа Лондона
- Преподаватели Королевского колледжа Лондона
- Венгерские ученые-компьютерщики
- Формальные методы люди
- Академический состав Университета Макмастера
- Стипендиаты Института инженерии и технологий