Return to the list of employees
prof. dr hab. Sławomir Lasota
- Affiliation
-
Institute of Informatics
- Consultations
- środy 12:15-13:45 terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych
- Phone
- 55-44-227
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