Claes Strannegård

Professor, Data Science and AI division, and vice Head of Department responsible for utilization and collaboration at the Department of Computer Science and Engineering.

My research interests are cognitive science and AI. I approach AI by building computer models of animal cognition. I lead the Ecotwin project (www.ecotwin.se) where we develop an ecosystem simulator in which the animals are AI agents. I founded several spinoff companies from Chalmers and worked with those companies for many years.
  • I currently teach the course Introduction to Data Science and AI. I have taught courses in AI, machine learning, logic, cognitive science, programming, linguistics, and entrepreneurship. 
  • I supervise projects at the MSc and PhD levels. Please contact me if you want to discuss a project.
  • I designed and coordinated the Master's program Intelligent Systems Design at Chalmers in 2006-2010. 

  • Artificial Intelligence. Currently, I am working on the Ecotwin project, where we develop an open source ecosystem simulator in which the animals are reinforcement learning agents. Here is a recent paper describing our work on ecosystems and AI. Here is the website of the project.
  • Cognitive psychology I led a project on computational models of human reasoning that was funded by the Swedish Research Council (2013-2015), where we obtained the following results: 
    • g. We conducted psychological experiments and collected accuracy and latency data on logical reasoning tasks. Then we constructed proof systems for logical reasoning with bounded cognitive resources and showed that minimal proof length correlated well with both accuracy and laten
    • cy. 
    • Inductive reasoning. We used experimental data from IQ tests with number sequences and progressive matrix tasks. Then we constructed cognitive models based on Kolmogorov complexity with bounded cognitive resources. These models turned out to match or surpass human performance. 
    • Combined reasoning. We developed a cognitive architecture for symbolic processing that was able to learn basic arithmetic, logic and grammar from scratch using streams of examples
    • only.

  • Mathematical logic. During my PhD at the department of Philosophy at the University of Gothenburg and my post-doc at Utrecht university, I did research on metamathematics. My main result in this field is a completeness theorem that generalizes and strengthens several theorems in provability logic, e.g. Gödel's incompleteness theorems, Berarducci’s completeness theorems, and Shavrukov’s theorem on embeddability of Magari algebras. I received the Rolf Gustafsson Award from the Royal Swedish Academy of Engineering Sciences (IVA) for this work.



After my post-doc I started developing an idea about logical analysis of industrial systems. This eventually led me away from academia into the world of start-ups. Over a 15-year period, I worked with five IT-companies, including these:

  • Safelogic. This company focused on logical analysis of integrated circuits by means of automatic theorem proving. During my time as CEO the company grew from 1 to 20 employees. Safelogic was merged with the sales and marketing company Jasper Design Automation of Mountainview, USA. It developed into a leading company in the electronic design automation industry with several tech-giants as customers. The merged company was acquired by Cadence in 2014.
  • Optisort. This company focused on classification of physical objects by means of neural networks. The company -now called Refind- is a market leader in USA and Great Britain in the field of automatic battery sorting into environmental categories. Refind provided the technology for the fish sorting project FishFace that won the Google Impact Challenge Australia in 2016.

Page manager Published: Wed 01 Sep 2021.