Jan Smith

I am a professor of Computing Science at Chalmers University of Technology

From 2006 to 2018 I was also Dean of the IT-Faculty at University of Gothenburg and Director of the IT-university of Gothenburg, a joint project of Chalmers and University of Gothenburg. I have also been Head of the CSE department at Chalmers and University of Gothenburg.

At present I have an assignment on Artificial Intelligence from Stefan Bengtsson, the President of Chalmers. It includes that I am



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 paper connecting the subject with biological evolution:

Some expository publications:

Some of my other papers:


( To Chalmers CS Dept. Welcome page.)