Бертран Мейер
Бертран Мейер (фр. Bertrand Meyer) — француз академигы, автор һәм компьютер телләре өлкәсендә консультант. Ул Эйфель программалау телен һәм контракт программалау идеясын булдырган.
Бертран Мейер | |
---|---|
Туган телдә исем | фр. Bertrand Meyer |
Туган | 21 ноябрь 1950[1] (73 яшь) Париж, Франция |
Ватандашлыгы | Франция |
Әлма-матер | Политехника мәктәбе, Стәнфорд үнивирситите, Лотарингия университеты[d] һәм Аттемер[d] |
Һөнәре | информатика өлкәсендә белгеч, инженер |
Эш бирүче | Санта-Барбарадагы Кәлифурния үнивирситите[d], Эсвичрә федераль технология институты, Иннополис Университеты[2] һәм Schaffhausen Institute of Technology[d][3] |
Биография
үзгәртү1974 елда Париж политех мәктәбен (École Polytechnique) бетергән һәм инженер булган. Шул елда да Стенфорд университетындв магистр дәрәҗәсен алган. 1985 елда Анри Пуанкаре (Нанси) университетында фән докторы дәрәҗәсен алган.
1974–1983 елларда инженер һәм тикшерүче булып эшләгән. Аннан соң Électricité de France ширкәтендә программа тәэминаты бүлеге башлыгы булган.
1983–1986 елларда Санта-Барбара университетында чакырылган профессор.
2011 елдан башлап Б. Мейер ИТМО милли тикшеренү университеты «Программ инженерия һәм верификация» кафедрасы җитәкчесе була.[4].
2001–2016 елларда Цюрихның югары техник мәктәбендә (ETH) профессор булган һәм гарантияләнгән сыйфатлы кабат кулланылган программ элементлар буенча тикшерүләр ясаган. 2004–2006 елларда ETH Информатика бүлеге җитәкчесе була һәм 13 ел дәвамында (2003–2015) программалау белән танышу курсын укыта.
2014 елдан башлап Иннополис университетында программ инженерия һәм верификация лабораториясенең җитәкчесе [5][6]. Аннан соң чакырылган профессор булып эшли[7].
2019 елдан башлап Б. Мейер Schaffhausen Institute of Technology программ инженерия бүлеге җитәкчесе[8].
Искәрмәләр
үзгәртү- ↑ Who's Who in France — Paris: 1953. — ISSN 0083-9531; 2275-0908
- ↑ https://innopolis.university/en/lab-software-service-engineering/
- ↑ https://sit.org/science/software-engineering
- ↑ Музей Университет ИТМО. Мейер Бертран. 2021-08-29 тикшерелгән.(үле сылтама)
- ↑ Преподавательский состав. әлеге чыганактан 2021-04-18 архивланды. 2020-08-14 тикшерелгән.
- ↑ Лаборатория программной инженерии и верификации программ. әлеге чыганактан 2021-04-14 архивланды. 2020-08-14 тикшерелгән.
- ↑ ППС Университета Иннополис. 2021-08-29 тикшерелгән.
- ↑ Schaffhausen Institute of Technology (SIT) erfreut sich einer starken Unterstützung von renommierten Wissenschaftlern und Kanton Schaffhausen.