You are not logged in |
Return to the list of employees
prof. dr hab. Sławomir Lasota
- Affiliation
-
profesor,
Institute of Informatics
- S.Lasota@mimuw.edu.pl
- Phone
- 55-44-227
- Room
- 03.103
- Website
- http://www.mimuw.edu.pl/~sl
- Other information
- Employee's page on USOSweb
- Consultations
piątek 14:15-15:45
Publications
Fields of research
Grants
- Automatics analysis of concurent systems
- Context-free processes: theory, algorithms, applications
- Frontiers of automatic analysis of concurrent systems
- Frontiers of automatic verification: new methods of analysis of infinite-state systems
- Mathematical modeling and algorithmic analysis of molecular signaling pathways
- New models of automata
- Proving correctness of behavioral implementation in software development process
- Symbolic computations on first-order definable objects
