Experience
Education
Bio
Research interests: Formal aspects of security: possibilistic and probabilistic models of information flow, information flow and access control, formal models for security protocols. Real-time formal language theory, real-time logics, theories behind model checking and verification. Fundamentals of fault tolerance. Formal semantics of programming languages, in particular synchronous and dataflow languages.