Research Topics

Programming languages; epistemic logic; type theory; concurrency; language-based security; information-flow control