Nie jesteś zalogowany | Zaloguj się

PL /
EN

Afiliacja: profesor, Instytut Informatyki
Mail: 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

Publikacje (102)

Dziedziny badań

Logika w informatyce
Weryfikacja, sprawdzanie równoważności, teoria automatów
Modele współbieżności
Algebry procesów, równoważność bisymulacyjna, automaty czasowe, sieci Petriego
Semantyka i metody formalne
Algebry procesów, weryfikacja formalna
Teoria automatów
Weryfikacja, sprawdzanie równoważności, automaty czasowe

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