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 35 peer-reviewed journal and conference papers with a best paper award at the FDL in 2020. He is recipient of the Springer BestMasters and DAC Young Fellow awards.
Hosted in Virtual Platform