Bartosz Klin

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.

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​) oraz Praktyczne podejście do inżynierii oprogramowania Rogera S. Pressmana (Wydawnictwa Naukowo-Techniczne 2004​)