Jerzy Tiuryn

Dodaj linki
Z Wikipedii, wolnej encyklopedii
Jerzy Tiuryn
Data urodzenia

3 grudnia 1950

profesor nauk matematycznych
Specjalność: bioinformatyka, logika matematyczna, obliczeniowa biologia molekularna, teoria obliczeń
Alma Mater

Uniwersytet Warszawski

Doktorat

1975 – informatyka
Uniwersytet Warszawski

Profesura

1991

profesor zwyczajny
Uczelnia

Uniwersytet Warszawski

Jerzy Tiuryn (ur. 3 grudnia 1950[1]) – polski matematyk i informatyk, profesor nauk matematycznych. Specjalizuje się w bioinformatyce, logice matematycznej, obliczeniowej biologii molekularnej oraz teorii obliczeń. Profesor zwyczajny Instytutu Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego[2][3][4][5].

Życiorys[edytuj | edytuj kod]

Studia informatyczne ukończył na Uniwersytecie Warszawskim, gdzie następnie został zatrudniony i zdobywał kolejne awanse akademickie. Stopień doktorski uzyskał w 1975 na podstawie pracy pt. M-Groupoid as a Tool to Investigate Mathematical Models of Computers and Programs, przygotowanej pod kierunkiem prof. Heleny Rasiowej[6]. Tytuł naukowy profesora nauk matematycznych otrzymał w 1991[2]. Był członkiem Komitetu Matematyki PAN[2]. Wypromował 12 doktorów[2]. W latach 2005-2012 był prodziekanem Wydziału Matematyki, Informatyki i Mechaniki UW ds. nauki i współpracy z zagranicą[7].

Autor i współautor wielu książek, w tym m.in. Dynamic Logic (współautor wraz z Davidem Harelem i Dexterem Kozenem, MIT Press 2000, ISBN 978-0-262-26302-3)[8] oraz podręcznika Wstęp do teorii mnogości i logiki (wiele wydań, np. Wrocław 2003, ISBN 83-917081-5-2). Swoje prace publikował w takich czasopismach jak m.in. „Bioinformatics”, „The Journal of Symbolic Logic”, „Journal of Biomedical Informatics”, „BMC Bioinformatics” oraz „Journal of Computational Biology”[9][10][11][12][13][14][15].

Od 1996 jest członkiem Academia Europaea. W latach 2008-2010 był pierwszym prezesem i współzałożycielem Polskiego Towarzystwa Bioinformatycznego[16]. W 2011 wybrany na członka rady European Research Consortium for Informatics and Mathematics (ERCIM).

Przypisy[edytuj | edytuj kod]

  1. ↑ strona MIMUW
  2. ↑ a b c d Prof. dr hab. Jerzy Tiuryn, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-08-19].
  3. ↑ prof. dr hab. Jerzy Tiuryn. usosweb.uw.edu.pl. [dostęp 2016-06-18].
  4. ↑ prof. dr hab. Jerzy Tiuryn. mimuw.edu.pl. [dostęp 2016-07-14].
  5. ↑ Jerzy Tiuryn (strona domowa). mimuw.edu.pl. [dostęp 2016-08-18]. (ang.).
  6. ↑ Jerzy Tiuryn. Mathematics Genealogy Project. [dostęp 2016-08-19]. (ang.).
  7. ↑ Prof. Jerzy Tiuryn. icbbe.org. [dostęp 2016-08-19]. (ang.).
  8. ↑ David Harel, Dexter Kozen, Jerzy Tiuryn: Dynamic Logic. books.google.pl, MIT Press, 29.09.2000. [dostęp 2016-08-19]. (ang.).
  9. ↑ Jerzy Tiuryn (publikacje). mimuw.edu.pl. [dostęp 2016-07-13].
  10. ↑ Jerzy Tiuryn (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-07-14].
  11. ↑ prof. Jerzy Tiuryn (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-14].
  12. ↑ Jerzy Tiuryn (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
  13. ↑ Jerzy Tiuryn (publikacje). springer.com. [dostęp 2016-08-11]. (ang.).
  14. ↑ Tiuryn, Jerzy. Katalog elektroniczny Biblioteki Narodowej. [dostęp 2016-08-11].
  15. ↑ Jerzy Tiuryn (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
  16. ↑ Jerzy Tiuryn. ae-info.org. [dostęp 2016-08-19]. (ang.).
Źródło: „https://pl.wikipedia.org/w/index.php?title=Jerzy_Tiuryn&oldid=65466605”