Sławomir Lasota
polski informatyk / Z Wikipedii, wolnej encyclopedia
Sławomir Grzegorz Lasota (ur. 7 września 1971) – polski matematyk i informatyk, profesor nauk matematycznych. Specjalizuje się w teorii współbieżności, teorii automatów, matematycznych metodach specyfikacji i weryfikacji programów oraz biologii obliczeniowej. Profesor nadzwyczajny Instytutu Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego[1][2][3][4].
Szybkie fakty Państwo działania, Data urodzenia ...
Państwo działania | |
---|---|
Data urodzenia | |
profesor nauk matematycznych | |
Specjalność: teoria współbieżności, teoria automatów, weryfikacja, biologia obliczeniowa | |
Alma Mater | |
Doktorat |
2000 – informatyka |
Habilitacja |
2008 – informatyka |
Profesura |
2015 |
profesor nadzwyczajny | |
Uczelnia |
Uniwersytet Warszawski |
Strona internetowa |
Zamknij