| Születés | 1976 |
|---|---|
| Állampolgárság | fényesít |
| Kiképzés | Varsói Egyetem |
| Tevékenységek | Számítástechnikus , matematikus |
| Dolgozott valakinek | Varsói Egyetem |
|---|---|
| Terület | Számítástechnika |
| Weboldal | (en) www.mimuw.edu.pl/~klin |
Bartosz Klin (született:1976. március 18) lengyel matematikus , specializációja az elméleti informatika.
A Varsói Egyetem Matematika, Számítástechnika és Mechanika Karához csatlakozó Számítástechnikai Intézet professzora.
A varsói egyetemen folytatott tanulmányai után 2004- ben doktori címet szerzett az Aarhusi Egyetemen . Absztrakt koalgebrai megközelítés a folyamategyenértékűségről a jól viselkedő operatív szemantikában , Peter Mossesa felügyelete alatt. A habilitációt a Varsói Egyetemen szerezte 2012-ben, Bialgebra és modális logika az operatív szemantikában címmel .
Munkáját nemzetközi folyóiratokban publikálták, ideértve a számítástechnika logikai módszereit , az információ- és szintbiztonságot , a matematikai struktúrákat a számítástechnikában , az elméleti számítástechnikát és a logikai és algebrai módszerek folyóiratát a programozásban .
A Nemzetközi Számítástudományi Olimpia döntőse és érmese volt, csapata pedig kétszer (1997-ben és 1998-ban) nyert Lengyelországban a nemzeti csapat programozási versenyén.