prof. dr hab. Andrzej Tarlecki

Affiliation

profesor, Institute of Informatics

Mail

A.Tarlecki@mimuw.edu.pl

Phone

55-44-475

Room

4750

Website

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

Other information

Employee's page on USOSweb

Office hours (availability for students)

piątki, 10:00-12:00

Publications

• Publications list (62)

Fields of research

• Logic in Computer Science
  
• Mathematical Logic and Category Theory
  Logic, institution theory, category theory in the foundations of computer science
• Semantics and Formal Methods
  Software specification, design and development, semantics, CASL specification formalism
• Software Engineering
  Mathematical foundations of software engineering

Grants

• Specification construction and software verification
  Financed by: National Science Center
• Specyfication and weryfication of software systems from theory to practice
  Financed by: Ministry of Science and Higher Education
• MOBIUS - Mobility, Ubiquity and Security
  Financed by: European Community 6th Framework Programme
• Architectures for Mobility
  Financed by: European Commission
• Abstract specification theory and its applications
  Financed by: State Committee for Scientific Research
• Observational equivalence of programs and data structures vs bisimulation equivalence of concurrent processes (doctoral dissertation grant )
  Financed by: State Committee for Scientific Research