|
Professor of Software Security and Correctness GeneralResearch topicsMy research concentrates on correctness and security properties of software. Other, related topics of interest are: logic, esp. for security, supported by theorem proving; identity and privacy management; cyber security and intelligence; societal aspects of computer security; specification and verification; semantics of programming, esp. for Java; smart cards, esp. Java cards; and also theoretical computer science (esp. coalgebras and quantum computing). Research links
|
(photo by Gerard Verschooten) |