prof. dr hab. Sławomir Lasota

Affiliation

Institute of Informatics

Mail

S.Lasota@mimuw.edu.pl

Phone

55-44-227

Website

http://www.mimuw.edu.pl/~sl

Consultations

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

Publications

• Publications list (99)

Fields of research

• Automata Theory
• Concurrency
• Logic in Computer Science
• Semantics and Formal Methods

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