Andrew Wintenberg Email Biography Andrew Wintenberg received his B.S. degree in Electrical Engineering and Mathematics from The University of Tennessee, Knoxville, USA, in 2018 and his M.S. degree in Electrical Engineering from the University of Michigan, Ann Arbor, in 2020, where he is currently a Ph.D. candidate. His research interests include the safety and security of discrete event and cyber-physical systems through the use of formal methods and abstraction. Position(s) & Affiliation(s) University of Michigan United States