Manfred Broy - Manfred Broy - Wikipedia

Manfred Broy
Manfred Broy 2004 1.jpeg
Manfred Broy 2004 yilda.
Tug'ilgan (1949-08-10) 1949 yil 10-avgust (71 yosh)
Landsberg am Lech, Germaniya
FuqarolikGermaniya
Ta'limPh.D., 1980
Ilmiy martaba
MaydonlarKompyuter fanlari
InstitutlarPassau universiteti
Myunxen Texnik universiteti
TezisParallel ishlaydigan dasturlarni o'zgartirish  (1980)
Doktor doktoriFridrix L. Bauer
Veb-saytwww.professoren.tum.de/ uz/ broy-manfred

Manfred Broy (1949 yil 10-avgustda tug'ilgan, Landsberg am Lech ) nemis kompyutershunos va zaxm Fakultät für Informatik professori Myunxen Texnik universiteti, Garching, Germaniya.

Biografiya

Broy unga erishdi Falsafa fanlari doktori (Ph.D.) 1980 yilda kafedrada ishlagan Fridrix L. Bauer parallel ravishda ishlaydigan dasturlarni o'zgartirish mavzusi bo'yicha (Parallel ablaufender dasturini o'zgartirish).

1983 yilda u matematika va informatika fakultetiga asos solgan Passau universiteti, u 1986 yilgacha qaysi dekan bo'lgan. 1989 yilda u Myunxen Texnik universiteti (TUM),[1] 1992 yilda u shu paytgacha matematika va informatika fakulteti tarkibidagi institut bo'lgan informatika fakultetining asoschisi dekani bo'ldi. O'shandan beri u Myunxen Texnik Universitetida dars beradi.

2004 yilda u hamkasbi sifatida saylandi Gesellschaft für Informatik[2] va 2007 yilda u g'olib bo'ldi Konrad Zuse medali.[3] U shuningdek muharriri Dasturiy ta'minot va informatika xalqaro jurnali. Broy direktori bo'lgan Marktoberdorf xalqaro yozgi maktabi.[4]

U 2015 yil 31 martda nafaqaga chiqqan.

Tanlangan kitoblar

  • Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Lyuk, Martin; Pretschner, Aleksandr (2005). Reaktiv tizimlarning namunaviy sinovi: ilg'or ma'ruzalar. Kompyuter fanidan ma'ruza matnlari.
  • Broy, Manfred; Denert, Ernst (2002). Dastur kashshoflari.
  • Broy, Manfred; Grunbauer, Yoxannes; Xare, Toni (2007). Dasturiy ta'minot tizimlarining ishonchliligi va xavfsizligi. NATO Ilmiy seriyalar orqali xavfsizlik: Axborot va aloqa xavfsizligi (NATO xavfsizligi… D: Axborot va aloqa xavfsizligi). 9.
  • Broy, Manfred; Kruger, Ingolf; Mayzinger, Maykl (2006). Mobil tarmoqlarda avtoulov dasturiy ta'minotiga ulangan xizmatlar: birinchi avtomobil dasturiy ta'minot ustaxonasi, ASWSD 2004. Kompyuter fanidan ma'ruza matnlari. San-Diego, Kaliforniya, Amerika Qo'shma Shtatlari.
  • Broy, Manfred; Shtaynbruggen, Ralf (2000). Hisoblash tizimini loyihalash. NATO fanlari seriyasi: Kompyuterlar va tizim fanlari (NATO ASI seriyasi. III seriya, kompyuter va tizim fanlari) Germaniya) NATOning hisoblash tizimini loyihalash bo'yicha ilg'or o'quv instituti (1998). Marktoberdorf, Germaniya.
  • Broy, Manfred (1989). Hisoblash fanida konstruktiv usullar: Xalqaro yozgi maktab. NATO ASI. F seriyasi, kompyuter va tizim fanlari).
  • Broy, Manfred (1996). Deduktiv dastur dizayni. NATO ASI seriyasi: Kompyuter va tizim fanlari.
  • Xare, Toni; Broy, Manfred; Shtaynbruggen, Ralf (2001). Dasturiy ta'minotni qurishning muhandislik nazariyalari. NATO fanlari seriyasi. III seriyali, Kompyuter va tizim fanlari, 180) Germaniya tomonidan) Dasturiy ta'minotni qurishning muhandislik nazariyalari bo'yicha NATOning ilg'or o'quv instituti (2000). Marktoberdorf, Germaniya ).
  • Broy, Manfred; Gruenbauer, Yoxannes; Xarel, Dovud; Xare, Toni (2005). Dasturiy ta'minot intensiv tizimlarining muhandislik nazariyalari. Dasturiy ta'minotni intensiv tizimlarning muhandislik nazariyalari bo'yicha NATOning ilg'or o'quv instituti materiallari,… II: Matematik, fizika va kimyo - Kindle orqali.
  • Broy, Manfred; Byorner, Dines; Pottosin, Igor V. (1993). Dasturlashning rasmiy usullari va ularning qo'llanilishi: Xalqaro konferentsiya materiallari. Kompyuter fanidan ma'ruza matnlari. Akademgorodok, Novosibirsk, Rossiya.

Adabiyotlar

  1. ^ "CV Prof. Doktor doktor hk. Manfred Xans Bertold Broy" (PDF). Vena Texnologiya Universiteti (TU Wien) (nemis tilida). 2012. Arxivlangan asl nusxasi (PDF) 2014 yil 11 oktyabrda. Olingan 12 may 2013.
  2. ^ GI-Fellow taklifi Arxivlandi 2016 yil 3 mart kuni Orqaga qaytish mashinasi, 2012 yil 9 martda olingan.
  3. ^ Winter, Cornelia (2007 yil 16-avgust), "Manfred Broy aus München erhält Konrad-Zuse-Medaille - Höchste Informatik-Auszeichnung wird in Bremen verliehen", Wissenschaft haqida ma'lumot (nemis tilida)
  4. ^ Marktoberdorf dasturlash metodikasining nazariy asoslari bo'yicha yozgi maktabi (1982). Broy, Manfred (tahrir). Dasturlash metodikasining nazariy asoslari: Xalqaro yozgi maktab ma'ruzalari, 1981 y. NATO Kengaytirilgan o'quv institutlari seriyasi. 91. Reydel. Olingan 2 sentyabr 2015.

Tashqi havolalar