Nick Papanikolaou

Biography

Nick is a Researcher in the Cloud and Security Lab at Hewlett-Packard Laboratories (HP Labs), Bristol, working on cloud security and privacy, as well as trust and security aspects of the Future Internet.

Until 2010, Nick was Research Fellow in the e-Security Group at the International Digital Laboratory within the University of Warwick, working in collaboration with Profs. Sadie Creese and Michael Goldsmith; in that role he worked on mathematical models of privacy, specification languages and models of policies, and design and verification of security protocols as part of the project EnCoRe ('Ensuring Consent and Revocation').

Nick's recent research has included:

• Applied Natural-language processing and formalisation of privacy rules
• CSP Modelling of Privacy Policies
• Design and Validation of Security Protocols
• Model Checking Techniques and Tools For Quantum Systems
• Formal Specification Languages And Semantics For Quantum Programming
• Logics For Probabilistic And Quantum Systems

Nick has been granted the honorary title of Associate Fellow at the Department of Computer Science, University of Warwick. You can find more information on Nick's academic webpage (with a more detailed publication list with links to preprints, and Twitter feed).

 

Research interests

Nick works on formal methods (particularly model checking) and natural-language processing for applications in cloud security and privacy.

Nick's research output over the years spans a number of areas, including the following:

• accountability and privacy in the cloud
• cryptography and data security
• enterprise policies: management and enforcement
• model checking
• process algebra
• quantum computation and quantum information

Awards

• Best Presentation Award at WPCCS07: The Warwick Postgraduate Colloquium in Computer Science, 2007.
• Computer Systems Engineering Best Undergraduate Project Prize, Department of Computer Science, University of Warwick, 2003.
• Honorary title of Associate Fellow, Department of Computer Science, University of Warwick, 2011.

Publications

See Publications page.

Patents

8

Professional activities

Nick is actively involved in the Association for Computing Machinery (ACM) and the Institute for Electrical and Electronic Engineers (IEEE). He is a member of the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), the IEEE Computer Society and the European Association for Theoretical Computer Science (EATCS).

Nick was on the organising committee of the Fifth Workshop on Automated Verification of Critical Systems (AVoCS'05) and similarly for the Warwick Postgraduate Colloquium in Computer Science (WPCCS'06).

He has refereed papers for numerous workshops and conferences, including among others QAPL (Quantitative Aspects of Programming Languages), DCM (Developments in Computational Models), ECIS (European Conference on Information Systems), as well as journals, including the Journal of Applied Logic, and also the ENTCS series (Electronic Notes In Theoretical Computer Science).