Some of the projects I am/I’ve been involved in:
- NorMC: A Norm Compliance Temporal Logic Model Checker – a model checker written in Haskell coded together with Truls Pedersen, that will be presented at M4M 2011 with an accompanying paper by me, Truls and Thomas Ågotnes.