Powrót do listy pracowników
prof. dr hab. Sławomir Lasota
- Afiliacja
-
profesor,
Instytut Informatyki
- S.Lasota@mimuw.edu.pl
- Telefon
- 55-44-227
- Pokój
- 03.103
- Strona internetowa
- http://www.mimuw.edu.pl/~sl
- Inne informacje
- Strona pracownika w USOSweb
- Terminy konsultacji dla studentów
piątek 14:15-15:45
Publikacje
Dziedziny badań
Granty
-
Granice automatycznej analizy systemów współbieżnych
Finansowany przez: Narodowe Centrum Nauki (Opus)
-
Automatyczna analiza systemów współbieżnych
Finansowany przez: Narodowe Centrum Nauki
-
Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
-
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Finansowany przez: Narodowe Centrum Nauki
-
Nowe modele automatów
Finansowany przez: Narodowe Centrum Nauki
-
Procesy bezkontekstowe: teoria, algorytmy, zastosowania
Finansowany przez: Narodowe Centrum Nauki
-
Modelowanie matematyczne i analiza algorytmiczna molekularnych szlaków sygnałowych
Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
-
Dowodzenie poprawności implementacji behawioralnej w procesie konstrukcji oprogramowania
Finansowany przez: Komitet Badań Naukowych