prof. dr hab. Sławomir Lasota

Affiliation

profesor, Institute of Informatics

Fields of interest

Automata theory, Concurrency theory, Verification, Computational biology

Mail

S.Lasota@mimuw.edu.pl

Phone

55-44-227

Personal webpage*

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

Other information

Employee's page on USOSweb

Office hours (availability for students)

piątek 14:15-15:45

*The University of Warsaw is not responsible for the content published on employees’ personal webpages.

Publications

• Publications list (107)

Fields of research

• Automata Theory
  
• Concurrency
  Process algebras, bisimulation equivalence, timed automata, Petri nets
• Logic in Computer Science
  
• Semantics and Formal Methods
  Process algebras, formal verification

Commissions, councils

• Faculty Council - Electoral College
• Institute of Informatics Council - Rada Instytutu Informatyki_2024

Grants

• Frontiers of automatic analysis of concurrent systems
  Financed by: National Science Center (Opus)
• Automatics analysis of concurent systems
  Financed by: National Science Center
• Symbolic computations on first-order definable objects
• Frontiers of automatic verification: new methods of analysis of infinite-state systems
  Financed by: National Science Center
• New models of automata
  Financed by: National Science Center
• Context-free processes: theory, algorithms, applications
  Financed by: National Science Center
• Mathematical modeling and algorithmic analysis of molecular signaling pathways
  Financed by: Ministry of Science and Higher Education
• Proving correctness of behavioral implementation in software development process
  Financed by: State Committee for Scientific Research