Bartosz Klin
| Państwo działania | |
|---|---|
| Data urodzenia | |
| doktor habilitowany nauk matematycznych | |
| Specjalność: informatyka teoretyczna | |
| Alma Mater | |
| Doktorat |
2004 – informatyka |
| Habilitacja |
2012 – informatyka |
| profesor nadzwyczajny | |
| Uczelnia |
Uniwersytet Warszawski |
Bartosz Marcin Klin (18 marca 1976) – 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], a następnie Associate Professor Uniwersytetu Oksfordzkiego[5].
Życiorys[edytuj | edytuj kod]
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[6]. 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”[7][8][9][10][11]. Przetłumaczył na język polski m.in. Metodykę wprowadzania oprogramowania na rynek Michaela E. Baysa (Wydawnictwa Naukowo-Techniczne 2001, ISBN 83-204-2631-6) oraz Praktyczne podejście do inżynierii oprogramowania Rogera S. Pressmana (Wydawnictwa Naukowo-Techniczne 2004, ISBN 83-204-2933-1)
Był finalistą i laureatem Olimpiady Informatycznej[12], a jego zespół dwukrotnie (1997 i 1998) wygrał Akademickie Mistrzostwa Polski w Programowaniu Zespołowym. Stypendysta Krajowego Funduszu na rzecz Dzieci.
Przypisy[edytuj | edytuj kod]
- ↑ a b Dr hab. Bartosz Klin, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI) [dostęp 2016-08-20].[martwy link]
- ↑ 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.).
- ↑ Bartek Klin [online], Department of Computer Science, University of Oxford [dostęp 2022-11-26] (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].