David Broman

Registered user since Mon 13 Nov 2017

Name:David Broman

David Broman is an Associate Professor at the KTH Royal Institute of Technology in Sweden, where he is leading the Model-based Computing Systems (MCS) research group. Between 2012 and 2014, he was a visiting scholar at the University of California, Berkeley, where he also was employed as a part time researcher until 2016. David received his Ph.D. in Computer Science in 2010 from Linköping University, Sweden, and was appointed Assistant Professor there in 2011. 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 machine learning. In 2017, he was awarded the individual grant for future leaders (FFL 6) from the Swedish Foundation for Strategic Research (SSF). David has worked several years within the software industry, co-founded the EOOLT workshop series, and is a member of IFIP WG 2.4, Modelica Association, and the TAACCS steering committee.

Research interests:Programming and Modeling Languages, Real-time systems, Machine Learning


FTSCS 2022 Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
CC 2022 PC Member in Program Committee within the CC Research Papers-track
POPL 2022 Committee Member in Program Committee within the POPL-track
SLE 2021 Committee Member in Program Committee within the SLE-track
CC 2021 Author of Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs within the CC Research Papers-track
SLE 2019 Author of A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning Compilation within the SLE 2019-track
PADL 2019 Author of Composing Syntactical Constructs to Create Domain-Specific Languages within the PADL 2019-track
PEPM 2018 Author of Gradually Typed Symbolic Expressions within the PEPM 2018-track
PPS 2018 Author of Combining static and dynamic optimizations using closed-form solutions within the PPS 2018-track