prof. dr hab. Sławomir Lasota

Afiliacja

profesor, Instytut Informatyki

Konsultacje

środy 12:15-13:45 terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych

Telefon

55-44-227

Publikacje

• Publikacje (99)

Dziedziny badań

• Logika w informatyce
• Modele współbieżności
• Semantyka i metody formalne
• Teoria automatów

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