Computer engineer specializing in formal methods for software, especially model checking, process calculi and deductive verification. Other professional interests include concurrency theory and relational databases.
"Whether one should say 'fixpoint', 'fix-point' or 'fixed point' is one of the most controversial questions in the theory of mu-calculi. [...] Fortunately, few people enunciate with sufficient clarity to distinguish [the terms] in conversation."|
- Bradfield & Stirling, Modal logic and mu-calculi: an introduction
"A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable."|
- Leslie Lamport, in a DEC SRC bulletin board message