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

Marek Zaionc (ur. 16 lutego 1953) – 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.

Życiorys

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. 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. 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

  1. ↑ Marek Zaionc. monitorfirm.pl. [dostęp 2017-06-26].
  2. 1 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. ↑ Marek Zaionc w bazie Mathematics Genealogy Project (ang.) [dostęp 2016-10-03].
  7. ↑ Marek Zaionc (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
  8. ↑ Marek Zaionc (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
  9. ↑ Marek Zaionc (publikacje). researchgate.net. [dostęp 2016-10-01]. (ang.).
  10. ↑ Zaionc, Marek (1953- ). Katalog elektroniczny Biblioteki Narodowej. [dostęp 2017-06-26].
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.