Marek Zaionc

Marek Zaionc (ur. 16 lutego 1953^[1]) – polski matematyk, profesor nauk matematycznych. Specjalizuje się w logice obliczeniowej oraz matematyce dyskretnej. Profesor zwyczajny w Zespole Katedr i Zakładów Informatyki Matematycznej Wydziału Matematyki i Informatyki Uniwersytetu Jagiellońskiego^[2][3][4][5].

Marek Zaionc

Data urodzenia	16 lutego 1953
profesor nauk matematycznych
Specjalność: logika obliczeniowa, matematyka dyskretna
Alma Mater	Uniwersytet Jagielloński
Doktorat	1985 – matematyka Uniwersytet Warszawski
Habilitacja	1993 – filozofia Uniwersytet Jagielloński
Profesura	2006
profesor zwyczajny
Uczelnia	Wydział Matematyki i Informatyki Uniwersytetu Jagiellońskiego

Życiorys

Świadectwo dojrzałości uzyskał w IX Liceum Ogólnokształcącym w Krakowie^[6]. 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 calculu, przygotowanej pod kierunkiem prof. Stanisława Waligórskiego^[7]. 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 2006^[2]. 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”^{[8][9][10][11]}.

Linki zewnętrzne

• Marek Zaionc (strona prywatna). staff.tcs.uj.edu.pl. [dostęp 2017-06-27]. (ang.).

Przypisy

1. Marek Zaionc. monitorfirm.pl. [dostęp 2017-06-26].
2. Prof. dr hab. Marek Zaionc, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2017-06-27].
3. Marek Zaionc. tcs.uj.edu.pl. [dostęp 2017-06-26].
4. prof. dr hab. Marek Zaionc. usosweb.uw.edu.pl. [dostęp 2016-06-18].
5. prof. dr hab. Marek Zaionc. matinf.uj.edu.pl. [dostęp 2017-06-14].
6. Sławni Absolwenci | [online], IX Liceum Ogólnokształcące w Krakowie [dostęp 2024-06-22].
7. Marek Zaionc w bazie Mathematics Genealogy Project (ang.) [dostęp 2016-10-03].
8. Marek Zaionc (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
9. Marek Zaionc (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
10. Marek Zaionc (publikacje). researchgate.net. [dostęp 2016-10-01]. (ang.).
11. Zaionc, Marek (1953- ). Katalog elektroniczny Biblioteki Narodowej. [dostęp 2017-06-26].

Kontrola autorytatywna (osoba):

• ISNI: 0000000113486538
• VIAF: 165771282
• PLWABN: 9810563018505606
• NUKAT: n94202217
• LIH: LNB:qr1;=B0

Identyfikatory zewnętrzne:

• identyfikator osoby w serwisie „Nauka Polska”: 58312
• Ludzie Nauki: 2UCr0cryxih