Vladimir HerdtSenior Researcher at University of Bremen / DFKI GmbH
Vladimir Herdt received the Dr.-Ing. degree in computer science from the University of Bremen in 2020. Since 2020, he is a Senior Researcher at the University of Bremen and at the German Research Center for Artificial Intelligence (DFKI). His current research interests include virtual prototyping, verification, formal methods and analysis techniques, with a particular focus on RISC-V. In these areas he published more than 30 peer-reviewed journal and conference papers with a Best Paper Award at the FDL. He is recipient of the Springer BestMasters award.