Jan Smith professor of Computing Science at Chalmers University of Technology.His research is in computer assisted development of proofs with applications in mathematics and program developments.
At present he has an assignment on Artificial Intelligence from the President of Chalmers. It includes that he is coordinating AI Competence for Sweden, an initiative of the Swedish government and chairman of the steering group of CHAIR, an initiative of Chalmers on AI.
From 2006 to 2018 he 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. He also been Head of the CSE department at Chalmers and University of Gothenburg.