Collaborators
The DBLP Database contains a nearly complete list of my past and present collaborators.
Guest Lectures
Numeric aggregation of trust evidence: from specification to verification and back (Academic Keynote), STM-WG, a working group of the European Research Consortium for Informatics and Mathematics (ERCIM), Royal Holloway, University of London, 2013
Numerical Aggregation of Trust Evidence, Workshop on Addressing R&D Challenges in Cybersecurity: Innovation and Collaboration Strategy, 2013
Policy Languages for User Managed Access, University of Newcastle, 2011
Identity Management: Key Technologies (Danish Workshop on IT Security in Practice), Aarhus University, Aarhus, Denmark, 2008
Research Staff
Kuo,J
Research Student Supervision
Antonik,A, Efficient Specification Pattern Library for Model Validation
Charlton,N, Cooperatively combining program verifiers: foundation and tool support
Kuo,J, Parity Games: Descriptive Complexity and Algorithms for New Solvers
Wagner,D, Finite-State Abstractions for Probabilistic Computation Tree Logic