Johan de Kleer | |
|---|---|
| Education | PhD |
| Alma mater | |
| Awards | |
| Scientific career | |
| Fields | Cognitive science, electrical engineering, computer science |
| Institutions | Xerox PARC |
| Doctoral advisor | Gerald Jay Sussman |
Johan de Kleer is a computer scientist working as a Research Fellow at Xerox PARC. [1]
De Kleer earned a Bachelor of Science in computer science and mathematics from University of British Columbia, and Master of Science in computer science and electrical engineering and PhD in artificial intelligence from the Massachusetts Institute of Technology. [2]
De Kleer is known for his work on qualitative reasoning [3] , model-based diagnosis, design and truth maintenance systems. In his works, he has maintained that self-aware systems will be using formal language and will be distinguished for an emphasis on math. [4] De Kleer is noted for his works on qualitative analysis of electrical systems. An example is his conceptualization of the Incremental Qualitative Analysis, a causal qualitative analysis technique that became the basis of a program called QUAL, which is used to describe and recognize the functionality of bipolar circuits. [5]
De Kleer won the Computers and Thought award from IJCAI in 1987 for his work in qualitative reasoning. [6] He is a fellow of the Association for the Advancement of Artificial Intelligence (AAAI) and the Association for Computing Machinery. [7] [8]