Daniel Große

Daniel Große serves as a full Professor at Johannes Kepler University Linz, holding primary affiliation with the Institute for Symbolic Artificial Intelligence and secondary appointments at the Institute of Complex Systems and LIT Secure and Correct Systems Lab. He currently leads 3 major research projects including Modular Real-Time Control (2023-2026) and the ENGEL Austria GmbH industry collaboration (2019-2027), while maintaining active roles in 113 professional activities through 2025.

His research integrates Computer Security, Hardware Design, and Artificial Intelligence to address critical challenges in embedded systems. Key focus areas include cryptographic instruction chaining for control flow protection, RISC-V vector workload simulation, and LLM-assisted metamorphic testing of graphics libraries, with strong emphasis on practical applications for safety-critical systems.

Recent publications (2025) reveal a cohesive research trajectory toward secure computing foundations, combining formal verification techniques with AI-driven development tools. His work consistently bridges hardware security primitives and software engineering innovations, particularly targeting vulnerabilities in instruction set architectures and embedded graphics pipelines.

Prof. Große has supervised 4 graduate students and secured significant funding through both public grants (VerA project) and industry partnerships. His project portfolio demonstrates strategic balance between theoretical advances in arithmetic circuit verification and applied industrial solutions for real-time control systems.

As a core member of the LIT Secure and Correct Systems Lab, he contributes to interdisciplinary research initiatives developing formally verified secure computing platforms, with active collaborations spanning hardware security validation, virtual prototyping frameworks, and AI-enhanced software testing methodologies.