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.

CV: swedish, english
Bio: english
Master's project: thesis abstract, thesis, website
Association: Excitera
Competition: Swedish Game Awards
Companies: JayCut, Edulab
Mail: karl@palmskog.net
Quote: "I don't think it's easy, but I know how to do it."

"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