Dennis de Champeaux

1981: AI PhD with 'Algorithms in AI'.

Published algorithms on:
AI heuristic search
AI theorem proving
AI unification
AI medical diagnosis
Galton inheritance paradox simulator

Very popular preprints about Quicksort; publications still blocked due to pathologies in the QS tribe. Findings contradict misconceptions that fester since 1960. In the pipeline: bidirectional depth first search.

Helped establish the OO life cycle around 1993 with panels at OOPSLA and text books on OO System Development & OO Development Process.
OO consulting for Fortune 500 companies.
Developed a medical (self) diagnosis site (2000/5) with a fine ontology & over 500 diseases, which has impacted my opinions about current AI.