Vladislav Nenchev

About

Professor Vladislav Nenchev is a faculty member at the University of the Bundeswehr Munich in Germany. His research areas include compositional code-level safety verification for automated driving controllers, model checking of embedded adaptive cruise controllers, and optimal quarantine control strategies for infectious outbreaks. Professor Nenchev is dedicated to advancing knowledge in these critical fields through his scholarly work.