Johann Makowsky - Johann Makowsky
Johann A. Makowsky | |
---|---|
![]() | |
narozený | Maďarsko | 12. března 1948
Národnost | Švýcarsko |
Alma mater | Švýcarský federální technologický institut |
Známý jako | Studie v teorie modelů, teorie databáze, logické programování, grafové algoritmy, polynomy grafů |
Vědecká kariéra | |
Pole | Matematická logika, Počítačová věda |
Instituce | Technion-Israel Institute of Technology |
Doktorský poradce | Ernst Specker, Hans Läuchli |
Johann (János) A. Makowsky (narozen 12. března 1948 v Budapešť ) je maďarský rodák a naturalizovaný švýcarský matematik, který pracuje v matematická logika a logické základy počítačová věda a kombinatorika. Studoval na Švýcarský federální technologický institut od 1967-73. Byl studentem v Curych z E. Specker a H. Läuchli[1] v matematické logice (Diploma in Mathematics and Physics 1971, Dr. math.sc. in 1974), B. Eckmann (Topologie a Geometrie ) a V. Strassen (Algorithmics) a in Varšava z A. Mostowski a W. Marek, kde strávil 1972 jako výměnný student. Makowsky zastával hostující pozice v Banachově centru ve Varšavě (Polsko), Stanfordská Univerzita (USA), Univerzita Simona Frasera (Kanada), University of Florence (Itálie), MIT (USA), Lausanne University a ETH Curych (Švýcarsko). Zastával pravidelné pozice u Svobodná univerzita v Berlíně a Technion - Izraelský technologický institut (Haifa, Izrael), kde byl řádným profesorem.[2]
Z jeho různých příspěvků stojí za zmínku:
- v teorie modelů, řešení dvou otevřených problémů v teorie kategoričnosti a jeho studium logiky s různými interpolace a kompaktnost vlastnosti (částečně s S. Shelah a J. Stavi).
- v teorie databáze, první nerozhodnutelnost výsledku problému s následky pro závislosti na databázi (s A. Chandra a H. Lewis ), jeho práce sjednocující Entity-Relationship model a relační model databází (s V. Markowitz ) a jeho práci na Boyce Codd normální forma (s E.V. Ravve).
- v logické programování, jeho základní studie Horn vzorce a jejich složitost (částečně s B. Mahrem a A. Itaiem)
- v grafové algoritmy, jeho sjednocující přístup k šířka stromu a šířka kliky prostřednictvím teorie modelů, vedoucí k obecné teorii polynomů grafů a jejich definovatelnosti v různých logických formalizmech (částečně s I. Averbouchem, B. Courcelle Godlin, T. Kotek, U. Rotics a B. Zilber).
Makowsky byl zakládajícím členem Evropská asociace logiky počítačových věd v roce 1992 jeho viceprezident (2002-2004) a prezident (2004-2009) a do roku 2014 byl členem výkonné rady EACSL.[3] Během svého předsednictví založil cenu EACSL Ackermann za vynikající disertační práce z logiky počítačových věd. V roce 2008 byla společně s každoročním zasedáním EACSL uspořádána akce věnovaná Makowskému k jeho 60. narozeninám.[4]
Od roku 2016 je emeritním profesorem na Fakultě výpočetní techniky Technion a pokračuje ve výzkumu a výuce a supervizi postgraduálních studentů
Reference
externí odkazy
- Oficiální webové stránky
- Johann A. Makowsky na DBLP Bibliografický server