SŁAWOMIR LASOTA

dr hab. member of the Automata Theory Group assistant professor in the Department of Mathematics, Informatics and Mechanics of the Warsaw University

Current teaching (in Polish):

Nowe seminarium magisterskie Niezawodność systemów współbieżnych i obiektowych

Wykład Praktyczne metody weryfikacji (06/07 i 08/09)
Seminarium magisterskie Protokoły komunikacyjne
Wykład Wybrane zagadnienia teorii procesów współbieżnych (07/08)
Propozycje tematów prac magisterskich (2008)




Informacje dla studentów




Research activities:

Research fields:
concurrency theory
verification of infinite-state systems
equivalence-checking
computational biology
Publications (my DBLP entry)
Current projects I am involved in:
Zaawansowane problemy teorii automatów Polish government grant no. N206 008 32/0810
EU-FET-IP Software Engineering for Service-Oriented Overlay Computers SENSORIA
Some past projects:
Identification and anlysis of transposable sequences in plant genomes Polish goverment grant no. N301 036 31/1203
European Community RTN Games and Automata for Synthesis and Validation GAMES
Architectures for Mobility AGILE
Weryfikacja i zapytania dotyczące struktur z danymi, Polonium project
Research seminar Automata theory

Click here if you want to meet my daughter and my sons.

I play GO. Here is

Here you can see some of my mountain photos.