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.
|
Karl Palmskog 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 |