Johan de Kleer
Computer scientist
From Wikipedia, the free encyclopedia
Johan de Kleer is a computer scientist working as a research fellow at Xerox PARC.[1]
- University of British Columbia (B.S.)
- Massachusetts Institute of Technology (M.S., Ph.D)
Johan de Kleer | |
|---|---|
Johan de Kleer in 2024 | |
| Education |
|
| Awards | |
| Scientific career | |
| Fields | Cognitive science, electrical engineering, computer science |
| Workplaces | Xerox PARC |
| Gerald Jay Sussman | |
Education
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]
Career
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 and the Association for Computing Machinery.[7][8]
Personal life
De Kleer has three daughters.[9] The middle daughter, Katherine de Kleer, is a professor of planetary science at Caltech.[10]