Jerzy Tiuryn

Jerzy Tiuryn
Data urodzenia3 grudnia 1950
profesor nauk matematycznych
Specjalność: bioinformatyka, logika matematyczna, obliczeniowa biologia molekularna, teoria obliczeń
Alma MaterUniwersytet Warszawski
Doktorat1975 – informatyka
Uniwersytet Warszawski
Profesura1991
profesor zwyczajny
UczelniaUniwersytet 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

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

  1. ↑ strona MIMUW
  2. ↑ a b c d Prof. dr hab. Jerzy Tiuryn, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI) [online] [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) (ang.). mimuw.edu.pl. [dostęp 2016-08-18].
  6. ↑ Jerzy Tiuryn (ang.). Mathematics Genealogy Project. [dostęp 2016-08-19].
  7. ↑ Prof. Jerzy Tiuryn (ang.). icbbe.org. [dostęp 2016-08-19].
  8. ↑ David Harel, Dexter Kozen, Jerzy Tiuryn: Dynamic Logic (ang.). books.google.pl, MIT Press, 29.09.2000. [dostęp 2016-08-19].
  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) (ang.). springer.com. [dostęp 2016-08-11].
  14. ↑ Tiuryn, Jerzy. Katalog elektroniczny Biblioteki Narodowej. [dostęp 2016-08-11].
  15. ↑ Jerzy Tiuryn (publikacje) (ang.). dblp.uni-trier.de. [dostęp 2016-08-18].
  16. ↑ Jerzy Tiuryn (ang.). ae-info.org. [dostęp 2016-08-19].