Dr. Claes Strannegård

Claes Strannegård, Ph.D. is Researcher in Logic / Cognitive Science, University of Gothenburg, Sweden. He also spends half his time doing research and teaching at the Department of Applied Information Technology at the Chalmers University, Sweden.
 
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 circuits. 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.

Claes authored Anthropomorphic Artificial Intelligence, Goal-driven reasoning in first-order logic, and Interpretability over Peano arithmetic and coauthored A Case Study in Anthropomorphic AI, An anthropomorphic method for number sequence problems, Reasoning Processes in Propositional Logic, Synaps — a Modular Online Personal Digital Assistant System for Hospitals, and An anthropomorphic method for progressive matrix problems. Read his full list of publications!
 
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.