Bartosz Klin

Biographie
Naissance	1976
Nationalité	polonaise
Formation	Université de Varsovie Université d'Aarhus
Activités	Informaticien, mathématicien

Autres informations
A travaillé pour	Université de Varsovie
Directeur de thèse	Peter Mosses (en)
Site web	(en) www.mimuw.edu.pl/~klin

Bartosz Klin (né le 18 mars 1976) est un mathématicien polonais, spécialisé en informatique théorique.

Biographie modifier

Il est professeur à l'Institut d'Informatique, attaché à la Faculté des Mathématiques, de l'Informatique et de la Mécanique de l'Université de Varsovie^[1]^,^[2]^,^[3]^,^[4].

Après des études à l'Université de Varsovie, il obtient son doctorat à l'Université d'Aarhus en 2004, intitulé An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics, préparée sous la direction de Peter Mossesa. Il obtient son habilitation à l'Université de Varsovie en 2012, intitulée Bialgèbre et logique modale en sémantique opérationnelle^[1].

Ses travaux sont publiés dans des revues internationales, notamment Logical Methods in Computer Science, Information and level security, Mathematical Structures in Computer Science, Theoretical Computer Science et Journal of Logical and Algebraic Methods in Programming^[4].

Il est finaliste et médaillé des Olympiades Internationales d'Informatique, et son équipe, à deux reprises (1997 et 1998), remporte le concours national de programmation en équipe en Pologne.

Notes et références modifier

↑ ^{a et b} Habilitation
↑ Professeur à l'Université de Varsovie.
↑ Page professionnelle de Bartek Klin (en Anglais).
↑ ^{a et b} Liste de publications

Liens externes modifier

(en) Site officiel
Ressources relatives à la recherche :

[:0-1] {a et b} Habilitation

[2] Professeur à l'Université de Varsovie.

[3] Page professionnelle de Bartek Klin (en Anglais).

[:1-4] {a et b} Liste de publications

[1]

[2]

[3]

[4]