Research Assistant
Critical Systems Group

Research Interests

Software verification, formal methods, dependable and secure software development, (code) model checking, model-based development, software engineering, communication and concurrency, parallel computing, software testing, computer simulation, software security.

key