Michael M. Richter (June 21, 1938 – July 10, 2020) was a German mathematician and computer scientist. Richter was well known for his career in mathematical logic. His works focused in non-standard analysis, and artificial intelligence. He was a key figure in case-based reasoning. Richter was born in Berlin.