French
DeutschSławomir Lasota – Wikipedia, wolna encyklopedia
| 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 | |
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[edytuj | edytuj kod]
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], jest członkiem tego ciała także w kadencji 2024–2027[7].
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”[8][9][10][11][12][13][14].
Przypisy[edytuj | edytuj kod]
- ↑ a b Prof. dr hab. Sławomir Grzegorz Lasota, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI) [dostęp 2016-10-12].[martwy link]
- ↑ 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].
- ↑ Zespół VI Nauk Ścisłych i Przyrodniczych [online] [dostęp 2024-02-22] (pol.).
- ↑ 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). springer.com. [dostęp 2016-08-11]. (ang.).
- ↑ Sławomir Lasota (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. [zarchiwizowane z tego adresu (2016-09-30)]. (ang.).
- ↑ Sławomir Lasota (publikacje). researchgate.net. [dostęp 2016-10-01]. (ang.).