Bartosz Klin
doktor habilitowany nauk matematycznych | |
Specjalność: informatyka teoretyczna | |
Alma Mater | |
---|---|
Doktorat |
2004 – informatyka |
Habilitacja |
2012 – informatyka |
profesor nadzwyczajny | |
Uczelnia |
Uniwersytet Warszawski |
Bartosz Klin – polski matematyk i informatyk, doktor habilitowany nauk matematycznych. Specjalizuje się w informatyce teoretycznej. Profesor nadzwyczajny Instytutu Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego[1][2][3][4].
Życiorys
Studia ukończył na Uniwersytecie Warszawskim. Stopień doktorski uzyskał w 2004 na duńskim Uniwersytecie Aarhus na podstawie pracy pt. An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics, przygotowanej pod kierunkiem prof. Petera Mossesa[5]. Habilitował się na UW w 2012 na podstawie oceny dorobku naukowego i rozprawy pt. Bialgebry i logika modalna w strukturalnej semantyce operacyjnej[1].
Swoje prace publikował w takich czasopismach jak m.in. „Logical Methods in Computer Science”, „Information and Computation” „Mathematical Structures in Computer Science”, „Theoretical Computer Science” oraz „Journal of Logical and Algebraic Methods in Programming”[6][7][8][9][10]. Na język polski przetłumaczył m.in. Metodykę wprowadzania oprogramowania na rynek Michaela E. Baysa (Wydawnictwa Naukowo-Techniczne 2001, ISBN 8320426316) oraz Praktyczne podejście do inżynierii oprogramowania Rogera S. Pressmana (Wydawnictwa Naukowo-Techniczne 2004, ISBN 8320429331)
Był finalistą i laureatem Olimpiady Informatycznej[11], a jego zespół dwukrotnie (1997 i 1998) wygrał Akademickie Mistrzostwa Polski w Programowaniu Zespołowym.
- ↑ a b {{{osoba}}}, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) .
- ↑ dr hab. Bartosz Klin. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ dr hab. Bartosz Klin. mimuw.edu.pl. [dostęp 2016-07-14].
- ↑ Bartek Klin (strona domowa). mimuw.edu.pl. [dostęp 2016-08-18]. (ang.).
- ↑ Bartosz Klin. Mathematics Genealogy Project. [dostęp 2016-08-20]. (ang.).
- ↑ Bartosz Klin (publikacje). mimuw.edu.pl. [dostęp 2016-07-13].
- ↑ Bartosz Klin (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-07-14].
- ↑ dr hab. Bartosz Klin (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-14].
- ↑ Bartek Klin (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
- ↑ Bartek Klin (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
- ↑ Bartosz Klin. oi.edu.pl. [dostęp 2016-08-20].