Michael M. Richter

Richter is well known for his career in mathematical logic, in particular non-standard analysis, and in artificial intelligence, in particular in knowledge-based systems and case-based reasoning (CBR, Fallbasiertes Schließen).

Richter was born in Berlin into an educated family: his father was Dr. Paul Kurt Richter, a literary scientist; his grandfather was Dr. Carl Greiff, a medical scientist (in 1940, Greiff published a 544 pages book called Diabetes-Probleme with the publisher Johann Ambrosius Barth).

During his academic career, he held visiting positions at Austin, Florianópolis and Calgary; he was also teaching at the University of St. Gallen from 1994 to 2000.

There he continued and extended the Omega Bibliography, a worldwide unique scientific collection containing all publications in Mathematical Logic since 1889 in classified way.

In Kaiserslautern he was member of the managing committee of two consecutive special research groups of the Deutsche Forschungsgemeinschaft (DFG): Artificial Intelligence and Development of Large Systems with Generic Methods.

In 1993 the group initiated the first European Workshop on Case-Based Reasoning in Kaiserslautern (EWCBR) which was after that a biannual event and complemented by the International Conferences on CBR (ICCBR 2007).

In logic Michael Richter specialized on non-standard analysis where he wrote a monograph and created with his student B. Benninghofen the Theory of Superinfinitesimals.

Together with his student Aldo v. Wangenheim he created the Cyclops group, that worked on image understanding, and developed new tools based on configuration system.

Michael M. Richter has written numerous publications in Mathematics, General Computer Science, Artificial Intelligence, Medical Informatics and Operations Research.