Die Entwicklung korrekter und zuverlässiger nebenläufiger Programme ist ermüdend und fehleranfällig. Fehlerauswirkungen zeigen sich oft nur unter einem ganz bestimmten Zusammenspiel der ausgeführten Threads. Gleichzeitig fehlt im Gebiet der nebenläufigen Programmierung Unterstützung durch Werkzeuge für Programmierer. Meine Forschung richtet sich auf den Entwurf von automatischen Debugging-Methoden für nebenläufige Programme und umfasst das Auffinden von Fehlern, die Lokalisierung der Fehlerursachen, und letztlich die Reparatur von Programmen.
metaSMT: Focus On Your Application And Not On Solver Integration