Forschende

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

Relevanz Name

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

HU-Theologien Juristische Fakultät Mathematisch-Naturwissenschaftliche 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