Marek Zaionc (ur. 16 lutego 1953) – polski matematyk, profesor nauk matematycznych. Specjalizuje się w logice obliczeniowej oraz matematyce dyskretnej. Profesor zwyczajny w Instytucie Informatyki Analitycznej Wydziału Matematyki i Informatyki Uniwersytetu Jagiellońskiego.
Życiorys Świadectwo dojrzałości uzyskał w IX Liceum Ogólnokształcącym w Krakowie. Studia z matematyki ukończył na Uniwersytecie Jagiellońskim w 1977, gdzie następnie został zatrudniony i zdobywał kolejne awanse akademickie. Stopień doktorski uzyskał na Uniwersytecie Warszawskim w 1985 na podstawie pracy pt. Term grammars in typed lambda calculus, przygotowanej pod kierunkiem prof. Stanisława Waligórskiego [dostęp 2016-10-03].. Habilitował się na Wydziale Filozoficznym UJ w 1993 na podstawie oceny dorobku naukowego i rozprawy pt. Representability of Functionals in Typed Lambda Calculus. Tytuł naukowy profesora nauk matematycznych otrzymał w 2006Postanowienie Prezydenta Rzeczypospolitej Polskiej z dnia 17 maja 2006 r. nr 115-1-06 o nadaniu tytułu profesora ().. Członek m.in. Komitetu Informatyki PAN. Poza Krakowem wykładał także w Instytucie Matematyki Uniwersytetu Śląskiego w Katowicach (2009-2013) oraz w Instytucie Technicznym Państwowej Wyższej Szkoły Zawodowej w Nowym Sączu.
Swoje prace publikował w takich czasopismach jak m.in. „Mathematical Structures in Computer Science”, „Studia Logica” „Theoretical Computer Science”, „Annals of Pure and Applied Logic", „Fundamenta Informaticae" oraz „Information and Computation”.
Linki zewnętrzne
Przypisy
Kategoria:Absolwenci IX Liceum Ogólnokształcącego im. Zygmunta Wróblewskiego w Krakowie Kategoria:Nauczyciele akademiccy Wydziału Matematyki i Informatyki Uniwersytetu Jagiellońskiego Kategoria:Polscy matematycy XX wieku Kategoria:Polscy matematycy XXI wieku Kategoria:Urodzeni w 1953