Sławomir Lasota
Państwo działania | Polska |
---|---|
Data urodzenia | 7 września 1971 |
profesor nauk matematycznych | |
Specjalność: teoria współbieżności, teoria automatów, weryfikacja, biologia obliczeniowa | |
Alma Mater | Uniwersytet Warszawski |
Doktorat | 2000 – informatyka Uniwersytet Warszawski |
Habilitacja | 2008 – informatyka Uniwersytet Warszawski |
Profesura | 2015 |
profesor nadzwyczajny | |
Uczelnia | Uniwersytet Warszawski |
Strona domowa |
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].
Życiorys
Studia z matematyki ukończył na Uniwersytecie Warszawskim. Stopień doktorski uzyskał na macierzystym UW w 2000 na podstawie pracy pt. Algebraiczna równoważność obserwacyjna a równoważność bisymulacyjna określona za pomocą otwartych morfizmów, przygotowanej pod kierunkiem prof. Andrzeja Tarleckiego. Habilitował się w 2008 na podstawie oceny dorobku naukowego i rozprawy pt. Złożoność obliczeniowa równoważności systemów o nieskończonej liczbie stanów. Tytuł naukowy profesora nauk matematycznych otrzymał w 2015[1][5].
W 2019 został członkiem Rady Doskonałości Naukowej I kadencji[6].
Swoje prace publikował w takich czasopismach jak m.in. „Logical Methods in Computer Science” „Journal of the Royal Society Interface”, „BMC Systems Biology", „Information and Computation" oraz „Theoretical Computer Science”[7][8][9][10][11][12][13].
Przypisy
- ↑ a b Prof. dr hab. Sławomir Grzegorz Lasota, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI) [online] [dostęp 2016-10-12] .
- ↑ prof. dr hab. Sławomir Lasota. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ prof. dr hab. Sławomir Lasota. mimuw.edu.pl. [dostęp 2016-07-14].
- ↑ Sławomir Lasota (strona domowa). mimuw.edu.pl. [dostęp 2016-10-11].
- ↑ Postanowienie prezydenta RP z dnia 2 kwietnia 2015 r. nr 115.5.2015 w sprawie nadania tytułu profesora (M.P. z 2015 r. poz. 469)
- ↑ Lista kandydatów wybranych na członków RDN, odrębna dla każdej dyscypliny, zawierająca nazwiska i imiona wybranych kandydatów wraz z nazwami podmiotów ich zgłaszających. konstytucjadlanauki.gov.pl. [dostęp 2019-05-26].
- ↑ Sławomir Lasota (publikacje). mimuw.edu.pl. [dostęp 2016-07-13].
- ↑ Sławomir Lasota (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-07-14].
- ↑ Sławomir Lasota (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-14].
- ↑ Sławomir Lasota (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
- ↑ Sławomir Lasota (publikacje) (ang.). springer.com. [dostęp 2016-08-11].
- ↑ Sławomir Lasota (publikacje) (ang.). dblp.uni-trier.de. [dostęp 2016-08-18]. [zarchiwizowane z tego adresu (2016-09-30)].
- ↑ Sławomir Lasota (publikacje) (ang.). researchgate.net. [dostęp 2016-10-01].