Gemeinsam mit Prof. Dr. Stephan Schulz war Möhrmann mit dem Beitrag „Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving“ bei der IJCAR Konferenz 2016 in Portugal vertreten.
Möhrmann hat einen Bachelor- und einen Master-Abschluss in Kognitionswissenschaft der Universität Osnabrück und arbeitet neben seinem Promotionsstudium seit Herbst 2015 als wissenschaftlicher Mitarbeiter im Rahmen des DHBW Innovationsprogramms Forschung an der DHBW Stuttgart. Gemeinsam mit Schulz entwickelt er im Fachbereich Informatik den Theorembeweiser E weiter, eines der führenden Systeme für das automatische Schließen in Prädikatenlogik erster Stufe.
Automatische Theorembeweiser sind Computerprogramme, die versuchen, automatisch nachzuweisen, dass bestimmte Aussagen zwingend aus einer gegebenen formalen Beschreibung folgern. Ein wichtiges Anwendungsbeispiel ist die Verifikation von Software, z.B. der Nachweis, dass ein Fahrerassistenzsystem einen PKW niemals beschleunigt, wenn der Fahrer die Bremse tritt, oder dass eine Banktransaktion immer entweder vollständig oder gar nicht abgewickelt wird.
