Name:

Tomasz Janowski

Affiliation:

The United Nations University International Institute for Software Technology

Contact:

UNU/IIST, PO Box 3058, Macau, tj@iist.unu.edu

Main expertise and current areas of research

Tomasz Janowski received a PhD in Computer Science from the University of Warwick (England) and a MSc in Mathematics from the University of Gdansk (Poland). His research interests include specification and verification of fault-tolerant systems, formal modeling of industrial organizations and business processes, and the integration of proof-based and run-time techniques in component-based software development. He is currently a Research Fellow of UNU/IIST. For more information see:  www.iist.unu.edu/~tj