Dr. Claes Strannegård
Strannegård, Ph.D. is
Researcher in Logic / Cognitive Science, University of Gothenburg,
Sweden. He also spends half his time doing research and
the Department of Applied Information Technology at the Chalmers
His Ph.D. was about metamathematics and the theoretical boundaries of machine reasoning. Later he became interested in human reasoning and the intersection of logic and cognitive psychology. He took an experimental approach and studied human deductive reasoning in the context of propositional logic and first-order logic. He also studied human inductive reasoning in the context of progressive matrix problems and number sequence problems. Currently he works on a computational model (transparent neural networks) with the aim of bringing together several aspects of human reasoning, including concept formation, inductive reasoning, and deductive reasoning, into one monolithic framework.
Claes started 5 academic spinoff companies, including the following:
- Safelogic (1999–2004). Automatic verification of integrated
The idea is to automatically translate (i) hardware designs in VHDL or
Verilog and (ii) hardware requirement specifications into logic and
prove that the designs meet the requirements using automatic theorem
proving. Safelogic was mainly financed by venture capital (about 25
MSEK) and had 15 employees when it was acquired by Jasper Design
Automation (Mountainview, USA) in 2004. Customers include HP, Cisco,
Sony, Oracle, ARM, and AMD.
- Optisort (2008–present). Automatic recycling based on artificial intelligence. The idea is to take pictures of used batteries on a conveyor belt and sort them into environmental categories. The sorting algorithm is based on artificial neural networks. The company was mainly customer financed and has 7 employees as of 2012. Customers include Renova and GP Batteries.
He earned his Ph.D. in Logic from the Department of Philosophy, University of Gothenburg, Sweden in 1996 with the thesis “Arithmetical Realizations of Modal Formulas”.
Read Computer programs that think like humans and Computer Program Scores 150 in IQ Test, Swedish Researchers Demonstrate. View his Facebook page.