Nie jesteś zalogowany |
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
- Konsultacje
piątek 14:15-15:45
Publikacje
Dziedziny badań
Granty
- Automatyczna analiza systemów współbieżnych
- Dowodzenie poprawności implementacji behawioralnej w procesie konstrukcji oprogramowania
- Granice automatycznej analizy systemów współbieżnych
- Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
- Modelowanie matematyczne i analiza algorytmiczna molekularnych szlaków sygnałowych
- Nowe modele automatów
- Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
- Procesy bezkontekstowe: teoria, algorytmy, zastosowania
