BiographyDavid Broman is Associate Professor at KTH Royal Institute of Technology, 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. From 2011 to 2014, he was Assistant Professor at Linköping University. During this time, he also spent 2.5 years at the University of California, Berkeley as a Visiting Scholar and Assistant Research Engineer. His research is focused on time-aware systems design, in particular programming and modeling language theory, real-time systems, compiler technology, embedded computer architectures, and mathematical modeling and simulation of cyber-physical systems. 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.