Founded Safelogic with the idea of using resource-bounded automatic theorem proving for analyzing and verifying integrated circuit designs.
Associate professor at the Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg and the Department of Applied Information Technology at Chalmers University of Technology.
PhD in logic from the Department of Philosophy, University of Gothenburg in 1996. Post-doc at the Department of Philosophy, Utrecht University in 1997-98.
