Per Bjesse

I do research on formal verification in all its forms, but I like to focus on applications geared towards industrial systems. My original interest in the field stems from a fascination with classical logic and theorem proving. I have worked on a variety of projects and products ranging from model checkers and equivalence checkers to test case generation tools.

You can find my publications here.

Home July 3, 2007