My name is Jesper Bengtson and I’m an associate professor in the Theoretical Computer Science group at the IT-University of Copenhagen. My research interests include program verification, concurrency, and formalising mathematics using interactive theorem provers.
I currently hold a Sapere Aude grant funded by the Danish Ministry of Science.The overall aim of my research is to develop tools that allow users to formally verify the correctness of computer programs. What this means in practice is that a user should be able to prove using logics and mathematics that a program contains no bugs. The state of the art used in industry today is extensive testing, but even if a program has passed all tests there is never a guarantee that it will not contain any bugs. If you want to know more, feel free to visit my project page.
My PhD work focussed on formalising the meta-theory of various process calculi in the interactive theorem prover Isabelle. I defended my thesis in June 2010.