BiographyDavid Broman is an Associate Professor at the KTH Royal Institute of Technology, School of Information and Communication Technology (ICT), in Sweden. He also has a part time research position at the University of California, Berkeley, USA. David received his Ph.D. in Computer Science in 2010 from Linköping University, Sweden, and was appointed Assistant Professor there in 2011. Between 2012 and 2014, he was a visiting scholar at the University of California, Berkeley, first funded by a postdoc fellowship grant from the Swedish Research council (VR), and then later employed as an Assistant Research Engineer. He earned a Docent degree in Computer Science in 2015. His research focuses on model-based design of time-aware systems, including cyber-physical systems, embedded systems, and real-time systems. In particular, he is interested in modeling language theory, formal semantics, compilers, and run-time systems where time and timing are correctness factors. He has worked five years within the software security industry, co-founded the EOOLT workshop series, and is member of IFIP WG 2.4, Modelica Association, and the TAACCS steering committee.