Forschende

1 Treffer mit Thema „Workflow-Verifikation" in Mathematisch-Naturwissenschaftliche Fakultät, HU-Theologien, Wirtschaftswissenschaftliche Fakultät · Themen-Filter entfernen

Relevanz Name

Lieber eine ganze Idee in Sätzen beschreiben? Zur Ideen-Suche →

Mathematisch-Naturwissenschaftliche Fakultät HU-Theologien Wirtschaftswissenschaftliche Fakultät alle entfernen

Prof. Dr. Lars Grunske

Institut für Informatik · Mathematisch-Naturwissenschaftliche Fakultät

Prof. Grunske erforscht derzeit die automatisierte Qualitätssicherung und Fehlerdiagnose in Softwaresystemen, mit aktuellem Fokus auf die Erkennung von Inkonsistenzen zwischen Code und Dokumentation sowie auf intelligente Debugging-Methoden.

21Projekte8Praxispartner