Research activities of the Department concentrate on the issues from the following areas:
This research is carried on in co-operation with national and international research and industrial partners.
Selected recent projects:
Personalised Information Platform for Health and Life Services - PIPS 6th FP Integrated Project
Drugs in Virtual Enterprise - DRIVE 5th FP Project IST-1999-12040
Trust-IT: Trust cases for IT solutions
RiskGuide: Risk Management in Software Engineering Projects
UML-HAZOP: HAZOP Inspections of UML models
ANGEL: Advanced Networked Gateway to Enhance quality of Life, 6th FP Project Contract IST-033506
Model-based Analysis of Security Protocols