Манфред Брой
Манфред Брой | |
|---|---|
 Манфред Брой в 2004 году | |
| Рожденный | 10 августа 1949 г. |
| Гражданство | Германия |
| Образование | доктор философии , 1980 г. |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Пассау Технический университет Мюнхена |
| Диссертация | Трансформация параллельно работающих программ (1980) |
| Докторантура | Фридрих Л. Бауэр |
| Веб-сайт | www |
Манфред Брой (родился 10 августа 1949 года) — немецкий учёный-компьютерщик и почётный профессор кафедры информатики Мюнхенского технического университета в Гархинге , Германия .
Биография
[ редактировать ]Брой получил степень доктора философии (Ph.D.) в 1980 году под кафедрой Фридриха Л. Бауэра по теме трансформации параллельно работающих программ (Transformation Parallel Ablaufender Programme) .
В 1983 году он основал факультет математики и информатики в Университете Пассау , деканом которого был до 1986 года. В 1989 году он поступил в Мюнхенский технический университет (ТУМ), [1] где в 1992 году он стал деканом-основателем факультета информатики, который до этого был институтом факультета математики и информатики. С тех пор он преподает в Техническом университете Мюнхена.
В 2004 году он был избран членом Общества информатики. [2] а в 2007 году он выиграл медаль Конрада Цузе . [3] Он также является редактором Международного журнала программного обеспечения и информатики . Брой был директором Международной летней школы в Марктобердорфе . [4]
Он вышел на пенсию 31 марта 2015 года.
Избранные книги
[ редактировать ]- Брой, Манфред; Йонссон, Бенгт; Катоен, Йост-Питер; Лейкер, Мартин; Пречнер, Александр (2005). Модельно-ориентированное тестирование реактивных систем: Лекции продвинутого уровня . Конспекты лекций по информатике .
- Брой, Манфред; Денерт, Эрнст (2002). Пионеры программного обеспечения .
- Брой, Манфред; Грюнбауэр, Йоханнес; Хоар, Тони (2007). Надежность и безопасность программных систем . Безопасность НАТО через науку. Серия: Информационная и коммуникационная безопасность (Безопасность НАТО через… D: Информационная и коммуникационная безопасность). Том. 9.
- Брой, Манфред; Крюгер, Ингольф; Мейзингер, Майкл (2006). Услуги, связанные с автомобильным программным обеспечением, в мобильных сетях: первый семинар по автомобильному программному обеспечению, ASWSD 2004 . Конспекты лекций по информатике . Сан-Диего , Калифорния, США.
{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка ) - Брой, Манфред; Штайнбрюгген, Ральф (2000). Проектирование вычислительной системы . Научная серия НАТО: Компьютеры и системные науки (Серия НАТО ASI. Серия III, Компьютерные и системные науки), Германия) Институт перспективных исследований НАТО по проектированию вычислительных систем (1998). Марктобердорф , Германия .
{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка ) - Брой, Манфред (1989). Конструктивные методы в информатике: Международная летняя школа . АСИ НАТО. Серия F, Компьютерные и системные науки).
- Брой, Манфред (1996). Дедуктивное проектирование программ . Серия НАТО ASI: Компьютерные и системные науки.
- Хоар, Тони ; Брой, Манфред; Штайнбрюгген, Ральф (2001). Инженерные теории создания программного обеспечения . Научная серия НАТО. Серия III, Компьютерные и системные науки, 180) (Германия) Институт перспективных исследований НАТО по инженерным теориям создания программного обеспечения (2000). Марктобердорф , Германия ).
{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка ) - Брой, Манфред; Грюнбауэр, Йоханнес; Харель, Дэвид ; Хоар, Тони (2005). Инженерные теории программно-емких систем . Труды Института перспективных исследований НАТО по инженерным теориям систем с интенсивным использованием программного обеспечения,… II: Математика, физика и химия - через Kindle.
- Брой, Манфред; Бьёрнер, Дайнс ; Поттосин, Игорь Васильевич (1993). Формальные методы в программировании и их приложения: Материалы международной конференции . Конспекты лекций по информатике . Академгородок, Новосибирск, Россия.
{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
Ссылки
[ редактировать ]- ^ «Резюме профессора, доктора наук Манфреда Ганса Бертольда Броя» (PDF) . Венский технологический университет (TU Wien) (на немецком языке). 2012. Архивировано из оригинала (PDF) 11 октября 2014 года . Проверено 12 мая 2013 г.
- ↑ Цитата GI-Fellow. Архивировано 3 марта 2016 г. на Wayback Machine , получено 9 марта 2012 г.
- ^ Винтер, Корнелия (16 августа 2007 г.), «Манфред Брой из Мюнхена получает медаль Конрада Цузе - высшая награда в области компьютерных наук вручается в Бремене» , Служба научной информации (на немецком языке)
- ^ Летняя школа Марктобердорфа по теоретическим основам методологии программирования (1982). Брой, Манфред (ред.). Теоретические основы методологии программирования: конспекты лекций международной летней школы, 1981 . НАТО Серия Институтов перспективных исследований . Том. 91. Рейдель . Проверено 2 сентября 2015 г.
Внешние ссылки
[ редактировать ]- Официальный сайт
- Манфред Брой на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |