N.B. This staff page is old. Current staff pages can be found in the tab Staff on the page About the department.
I am an associate professor in cognitive science at the Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg and the Department of Applied Information Technology at Chalmers University of Technology.
My PhD thesis was about mathematical logic and belongs to the research tradition that began with Gödel’s incompleteness theorems. I spent many years in the private sector as a founder and CEO of research spinoffs in the domain of artificial intelligence. Eventually I returned to the academic world and started doing cross-disciplinary research on human reasoning and artificial general intelligence together with psychologists, neuroscientists, logicians, linguists, and mathematicians.
In our research team we have developed systems that model human reasoning in logic, arithmetic, progressive matrices, and number sequences. We have also developed versatile systems that can adapt to and operate in multiple domains. Our team won prizes from the Artificial General Intelligence Society in 2013, 2014, and 2015. A theme in our research is to exploit cognitive limitations of the human mind for constructing intelligent systems with manageable computational complexity. I work on the following research projects:
I have taught courses in the fields of logic, artificial intelligence, linguistics, programming, and innovation. Currently I supervise one PhD student.
I have been working with several academic spinoff companies, including the following:
Safelogic. I founded the formal verification company Safelogic in 1999 with the idea of using resource-bounded automatic theorem proving for analyzing and verifying integrated circuit designs. Safelogic was mainly financed by venture capital and had some 20 employees when it was acquired by Jasper Design Automation in 2004. Jasper continued to develop Safelogic's tool with the main product development node still in Gothenburg (the former Safelogic team) and a sales and marketing office in Silicon Valley. In June 2014, Jasper was acquired by Cadence in a 170 MUSD deal. The development of Safelogic's original product continues and several former Safelogic employees are now employed at Cadence' recently formed node in Gothenburg.
Optisort. I founded the company Optisort in 2008 with the idea of sorting waste automatically by means of artificial neural networks. The company was restarted under the name Refind in 2012. Refind is now a leader in automatic sorting of used batteries into environmental categories. Refind machines operate in the US and in England, where it has reached a dominating market position by sorting about 2/3 of the country's used batteries. The company has predominantly been customer financed and the number of employees has been in the range 5--10. Refind appeared on the Top 25 Nordic cleantech startups list in 2015. The company recently started sorting used mobile phones in a European Horizon 2020 project.
Box 200, 405 30 Göteborg
Olof Wijksgatan 6