Daniel Große

Daniel Große (* 1977) ist ein deutscher Informatiker und Universitätsprofessor. Seit Juli 2020 ist er Leiter des Instituts für Complex Systems (ICS) an der Johannes Kepler Universität Linz (JKU). Seine Forschungsschwerpunkte liegen in der Entwicklung und Verifikation digitaler Hardware- und Softwaresysteme, insbesondere im Bereich der Electronic Design Automation (EDA).^[1]

Daniel Große stammt aus Weimar in Deutschland. Von 1997 bis 2002 studierte er Informatik an der Albert-Ludwigs-Universität Freiburg, wo er sein Studium mit dem Diplom (Dipl.-Inform.) abschloss. Anschließend wechselte er an die Universität Bremen in die Arbeitsgruppe Rechnerarchitektur (Leitung Rolf Drechsler), wo er 2008 mit der Dissertation Quality-Driven Design and Verification Flow for Digital Systems zum Dr.-Ing. in der Informatik promoviert wurde (summa cum laude).^[1][2]

Nach seiner Promotion arbeitete Große als Postdoktorand und später Senior Researcher in der Arbeitsgruppe Rechnerarchitektur der Universität Bremen. Im Jahr 2010 übernahm er eine Vertretungsprofessur für Rechnerarchitektur an der Universität Freiburg.

Von 2013 bis 2014 war er Mitgründer und Geschäftsführer des Bremer Technologieunternehmens solvertec GmbH, einer Ausgründung der Universität Bremen. Das Unternehmen beschäftigte sich mit der automatisierten Fehlersuche beim Entwurf digitaler Schaltungen.^[3]

Anschließend war Große bis 2020 als Senior Researcher an der Universität Bremen tätig. Von 2015 bis 2020 fungierte er außerdem als wissenschaftlicher Koordinator der im Rahmen der deutschen Exzellenzinitiative geförderten Graduiertenschule System Design. Seit 2015 ist er zudem am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) tätig.^[1]

Zum 1. Juli 2020 wurde Große als Universitätsprofessor an die Johannes Kepler Universität Linz berufen. Dort übernahm er die Leitung des Institute for Complex Systems (ICS). Seit 2022 leitet er außerdem das institutsübergreifende LIT Secure and Correct Systems Lab, das sich mit der Sicherheit und Korrektheit von Hardware- und Softwaresystemen beschäftigt.^[1][4]

Großes wissenschaftliche Arbeit konzentriert sich auf die Entwicklung von Methoden und Werkzeugen für den Entwurf, die Analyse und die Verifikation komplexer elektronischer Systeme.

Zu seinen Forschungsgebieten zählen insbesondere die Formale Verifikation, das virtuelle Prototyping, die automatisierte Fehlersuche (Debugging), die Logiksynthese von Hardware-Software-Systemen.

Eine wichtige Rolle spielt dabei die offene Befehlssatzarchitektur RISC-V. Große beschäftigt sich mit Methoden zur Entwicklung und Verifikation RISC-V-basierter Prozessoren und eingebetteter Systeme.^[1]

Große ist Autor und Mitautor zahlreicher wissenschaftlicher Veröffentlichungen in internationalen Fachzeitschriften und Konferenzbänden. Er war Mitglied der Programmkomitees verschiedener wissenschaftlicher Konferenzen, darunter der Design Automation Conference (DAC), der Design, Automation and Test in Europe (DATE) und der International Conference on Computer-Aided Design (ICCAD).

Darüber hinaus engagiert er sich in wissenschaftlichen Fachorganisationen. Er ist unter anderem Senior Member des Institute of Electrical and Electronics Engineers (IEEE) und Mitglied der Gesellschaft für Informatik.^[1]

Für die Design and Verification Conference and Exhibition Europe (DVCon Europe) übernahm Große 2025 und 2026 die Funktion des Research Chair.^[5]

Große erhielt im Verlauf seiner wissenschaftlichen und unternehmerischen Tätigkeit mehrere Auszeichnungen, darunter:

• 2007: Best Paper Award, Forum on Specification and Design Languages (FDL)
• 2008: Auszeichnung seiner Dissertation im Rahmen des Bremer Studienpreises
• 2013: IKT Innovativ Award für das Unternehmen solvertec
• 2013: Weconomy Award für solvertec
• 2014: Embedded Award in der Kategorie Tools für die automatisierte Debugging-Software von solvertec
• 2018: Best Paper Award, Design and Verification Conference and Exhibition Europe (DVCon Europe)
• 2018: Best Paper Award, International Conference on Computer-Aided Design (ICCAD)
• 2020: Best Paper Award, Forum on Specification and Design Languages (FDL)
• 2022: Best Paper Award, Forum on Specification and Design Languages (FDL)

• Daniel Große am Institute for Complex Systems der JKU Linz
• Daniel Große im Forschungsportal der JKU
• Publikationsverzeichnis von Daniel Große in der DBLP-Informatikbibliografie
• ORCID-Profil von Daniel Große

1. 1 2 3 4 5 6 Univ.-Prof. Dr. Daniel Große. In: Institute for Complex Systems, Johannes Kepler Universität Linz. Abgerufen am 13. November 2026. 
2. ↑ Die neuen Gesichter der TNF. In: Johannes Kepler Universität Linz. 6. Oktober 2020, abgerufen am 13. November 2026. 
3. ↑ Bremer Uni-Ausgründung „solvertec“ gewinnt 30.000 Euro im Gründerwettbewerb IKT Innovativ. In: Universität Bremen. Abgerufen am 13. November 2026. 
4. ↑ LIT Secure and Correct Systems Lab – Team. In: Johannes Kepler Universität Linz. Abgerufen am 13. November 2026. 
5. ↑ Steering Committee. In: DVCon Europe. Abgerufen am 13. November 2026.