dr Agata Janowska

Affiliation

adiunkt, Institute of Informatics

Mail

A.Janowska@mimuw.edu.pl

Phone

55-44-428

Room

4270

Other information

Employee's page on USOSweb

Office hours (availability for students)

piątki 10:30-12:00

Functions

• Vice-Director of Insttitute Institute of Informatics

Fields of research

• Concurrency
  Communication protocols, concurrency theory, timed automata
• Software Engineering
  Specification and verification of real time systems, model-checking of timed systems