Luca Müller

Luca Müller received the M.Sc. degree in computer science from University of Bremen in 2025. He is currently a Researcher in the Cyber-Physical Systems Group at the German Research Center for Artificial Intelligence (DFKI) and is pursuing his Ph.D. at the University of Bremen. His research interest lies in the verification of hardware designs at different abstraction levels, with a focus on formal techniques. Other research interests include system security and LLMs for hardware verification.