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
- Strona internetowa
- http://www.mimuw.edu.pl/~sl
- Konsultacje
- środy 12:15-13:45 terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych
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
