Бертран Мейер

(Мейер, Бертран битеннән юнәлтелде)

Бертран Мейер (фр. Bertrand Meyer) — француз академигы, автор һәм компьютер телләре өлкәсендә консультант. Ул Эйфель программалау телен һәм контракт программалау идеясын булдырган.

Бертран Мейер
Bertrand Meyer
Туган телдә исем фр. Bertrand Meyer
Туган 21 ноябрь 1950(1950-11-21)[1] (72 яшь)
Париж, Франция
Ватандашлыгы Flag of France.svg Франция
Әлма-матер Политехника мәктәбе, Стәнфорд үнивирситите, Лотарингия университеты[d] һәм Аттемер[d]
Һөнәре информатика өлкәсендә белгеч, инженер, профессор
Эш бирүче Санта-Барбарадагы Кәлифурния үнивирситите[d], Эсвичрә федераль технология институты, Иннополис Университеты[2] һәм Schaffhausen Institute of Technology[d][3]

Commons-logo.svg Бертран Мейер Викиҗыентыкта

БиографияҮзгәртү

1974 елда Париж политех мәктәбен (École Polytechnique) бетергән һәм инженер булган. Шул елда да Стенфорд университетындв магистр дәрәҗәсен алган. 1985 елда Анри Пуанкаре (Нанси) университетында фән докторы дәрәҗәсен алган.

19741983 елларда инженер һәм тикшерүче булып эшләгән. Аннан соң Électricité de France ширкәтендә программа тәэминаты бүлеге башлыгы булган.

19831986 елларда Санта-Барбара университетында чакырылган профессор.

2011 елдан башлап Б. Мейер ИТМО милли тикшеренү университеты «Программ инженерия һәм верификация» кафедрасы җитәкчесе була.[4].

20012016 елларда Цюрихның югары техник мәктәбендә (ETH) профессор булган һәм гарантияләнгән сыйфатлы кабат кулланылган программ элементлар буенча тикшерүләр ясаган. 20042006 елларда ETH Информатика бүлеге җитәкчесе була һәм 13 ел дәвамында (2003–2015) программалау белән танышу курсын укыта.

2014 елдан башлап Иннополис университетында программ инженерия һәм верификация лабораториясенең җитәкчесе [5][6]. Аннан соң чакырылган профессор булып эшли[7].

2019 елдан башлап Б. Мейер Schaffhausen Institute of Technology программ инженерия бүлеге җитәкчесе[8].

ИскәрмәләрҮзгәртү

ЧыганакларҮзгәртү

СылтамаларҮзгәртү