Marek Zaionc
| Data urodzenia |
16 lutego 1953 |
|---|---|
| profesor nauk matematycznych | |
| Specjalność: logika obliczeniowa, matematyka dyskretna | |
| Alma Mater | |
| Doktorat |
1985 – matematyka |
| Habilitacja |
1993 – filozofia |
| Profesura |
2006 |
| profesor zwyczajny | |
| Uczelnia |
Wydział Matematyki i Informatyki Uniwersytetu Jagiellońskiego |
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].
Życiorys[edytuj | edytuj kod]
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[6]. 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”[7][8][9][10].
Linki zewnętrzne[edytuj | edytuj kod]
- Marek Zaionc (strona prywatna). staff.tcs.uj.edu.pl. [dostęp 2017-06-27]. (ang.).
Przypisy[edytuj | edytuj kod]
- ↑ Marek Zaionc. monitorfirm.pl. [dostęp 2017-06-26].
- ↑ a b Prof. dr hab. Marek Zaionc, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2017-06-27].
- ↑ Marek Zaionc. tcs.uj.edu.pl. [dostęp 2017-06-26].
- ↑ prof. dr hab. Marek Zaionc. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ prof. dr hab. Marek Zaionc. matinf.uj.edu.pl. [dostęp 2017-06-14].
- ↑
Marek Zaionc w bazie Mathematics Genealogy Project (ang.) [dostęp 2016-10-03].
- ↑ Marek Zaionc (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
- ↑ Marek Zaionc (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
- ↑ Marek Zaionc (publikacje). researchgate.net. [dostęp 2016-10-01]. (ang.).
- ↑ Zaionc, Marek (1953- ). Katalog elektroniczny Biblioteki Narodowej. [dostęp 2017-06-26].
