Jerzy Tiuryn – Wikipedia, wolna encyklopedia
Data urodzenia | 3 grudnia 1950 |
---|---|
profesor nauk matematycznych | |
Specjalność: bioinformatyka, logika matematyczna, obliczeniowa biologia molekularna, teoria obliczeń | |
Alma Mater | |
Doktorat | 1975 – informatyka |
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]- ↑ strona MIMUW
- ↑ a b c d Prof. dr hab. Jerzy Tiuryn, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-08-19] .
- ↑ prof. dr hab. Jerzy Tiuryn. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ prof. dr hab. Jerzy Tiuryn. mimuw.edu.pl. [dostęp 2016-07-14].
- ↑ Jerzy Tiuryn (strona domowa). mimuw.edu.pl. [dostęp 2016-08-18]. (ang.).
- ↑ Jerzy Tiuryn. Mathematics Genealogy Project. [dostęp 2016-08-19]. (ang.).
- ↑ Prof. Jerzy Tiuryn. icbbe.org. [dostęp 2016-08-19]. (ang.).
- ↑ David Harel, Dexter Kozen, Jerzy Tiuryn: Dynamic Logic. books.google.pl, MIT Press, 29.09.2000. [dostęp 2016-08-19]. (ang.).
- ↑ Jerzy Tiuryn (publikacje). mimuw.edu.pl. [dostęp 2016-07-13].
- ↑ Jerzy Tiuryn (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-07-14].
- ↑ prof. Jerzy Tiuryn (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-14].
- ↑ Jerzy Tiuryn (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
- ↑ Jerzy Tiuryn (publikacje). springer.com. [dostęp 2016-08-11]. (ang.).
- ↑ Tiuryn, Jerzy. Katalog elektroniczny Biblioteki Narodowej. [dostęp 2016-08-11].
- ↑ Jerzy Tiuryn (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
- ↑ Jerzy Tiuryn. ae-info.org. [dostęp 2016-08-19]. (ang.).