Jan Smith

I am a professor of Computing Science at the Department of Computer Science and Engineering at Chalmers University of Technology and University of Gothenburg

I am also

Dean of the IT-Faculty at University of Gothenburg.

Director of the IT-university of Gothenburg.

How to reach me



My research interests are type theory and computer assisted development of proofs and programs.

I'm also interested in the philosophy of mathematics and here is a recent paper connecting the subject with biological evolution:

Some expository publications:

Some of my other papers:
( To Chalmers CS Dept. Welcome page.)