prof. dr hab. Sławomir Lasota

Affiliation

profesor, Institute of Informatics

Mail

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

Office hours (availability for students)

piątek 14:15-15:45

Publications

• Publications list (102)

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

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