My principal research interests are in
computer security (secure information flow and language-based security)
and programming languages (type systems and semantics).
Most of my research papers are available here.
Recent and Upcoming Events
24th International Conference on Concurrency Theory (PC member)
IFIP International Conference on Formal Techniques for Distributed Systems
22nd European Symposium on Programming (PC member)
9th International Conference on Quantitative Evaluation of Systems (PC member)
8th International Conference on Quantitative Evaluation of Systems
Theory of Security and Applications (PC member)