WC

Witold Charatonik

Matematyk, informatyk Nauka
Urodzony
15.01.1966
Miejsce urodzenia
Wrocław
Wiek
60
Dziedzina
Nauka

Biografia

Witold Charatonik urodził się 15 stycznia 1966 roku we Wrocławiu. Jest polskim matematykiem specjalizującym się w logice stosowanej w informatyce. Pełni funkcję profesora na Uniwersytecie Wrocławskim, a w latach 2005-2008 był prodziekanem ds. dydaktyki informatyki na Wydziale Matematyki i Informatyki.

Ukończył III Liceum Ogólnokształcące we Wrocławiu. W 1995 roku obronił pracę doktorską zatytułowaną "Więzy mnogościowe w pewnych teoriach równościowych" w Instytucie Matematycznym PAN, a w 2003 roku uzyskał habilitację na podstawie pracy "Więzy mnogościowe" na Uniwersytecie Wrocławskim.

W latach 1997-2002 pracował w Instytucie Informatyki im. Maxa Plancka w Saarbrücken. 29 czerwca 2012 roku otrzymał nominację profesorską.

Pełny artykuł na Wikipedii

Osiągnięcia

Nominacja profesorska (2012)
Kierowanie projektami badawczymi z zakresu logiki w informatyce
Praca w Instytucie Informatyki im. Maxa Plancka w Saarbrücken
Publikacje naukowe w renomowanych czasopismach i konferencjach

Ciekawostki

Jest absolwentem III Liceum Ogólnokształcącego we Wrocławiu.
Jego habilitacja dotyczyła więzów mnogościowych, a doktorat również nawiązywał do tej tematyki.