Bartosz Klin
Państwo działania

 Polska

Data urodzenia

18 marca 1976

doktor habilitowany nauk matematycznych
Specjalność: informatyka teoretyczna
Alma Mater

Uniwersytet Warszawski

Doktorat

2004 – informatyka
Uniwersytet Aarhus (Dania)

Habilitacja

2012 – informatyka
Uniwersytet Warszawski

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, a następnie Associate Professor Uniwersytetu Oksfordzkiego.

Ż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. Habilitował się na UW w 2012 na podstawie oceny dorobku naukowego i rozprawy pt. Bialgebry i logika modalna w strukturalnej semantyce operacyjnej.

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”. 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, a jego zespół dwukrotnie (1997 i 1998) wygrał Akademickie Mistrzostwa Polski w Programowaniu Zespołowym. Stypendysta Krajowego Funduszu na rzecz Dzieci.

Przypisy

  1. 1 2 Dr hab. Bartosz Klin, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-08-20].
  2. ↑ dr hab. Bartosz Klin. usosweb.uw.edu.pl. [dostęp 2016-06-18].
  3. ↑ dr hab. Bartosz Klin. mimuw.edu.pl. [dostęp 2016-07-14].
  4. ↑ Bartek Klin (strona domowa). mimuw.edu.pl. [dostęp 2016-08-18]. (ang.).
  5. ↑ Bartek Klin [online], Department of Computer Science, University of Oxford [dostęp 2022-11-26] (ang.).
  6. ↑ Bartosz Klin. Mathematics Genealogy Project. [dostęp 2016-08-20]. (ang.).
  7. ↑ Bartosz Klin (publikacje). mimuw.edu.pl. [dostęp 2016-07-13].
  8. ↑ Bartosz Klin (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-07-14].
  9. ↑ dr hab. Bartosz Klin (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-14].
  10. ↑ Bartek Klin (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
  11. ↑ Bartek Klin (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
  12. ↑ Bartosz Klin. oi.edu.pl. [dostęp 2016-08-20].
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.