David Broman

Associate Professor, Docent
KTH Royal Institute of Technology

Associate Director Faculty
Digital Futures

Address:
KTH Royal Institute of Technology
EECS/SCS
Kistagången 16
164 40 Kista
SWEDEN

Office:
+46 8 790 42 74

Cellular:
+46 73 765 20 44

My research focuses on model-based design of time-aware systems, including cyber-physical systems, embedded systems, and real-time systems. In particular, I am interested in modeling language theory, formal semantics, compilers, and machine learning. Please see the following page for an overview of my research.

News and Events

Paper accepted to the 32nd International Symposium on Software Reliability Engineering (ISSRE 2021). Paper title: The Behavioral Diversity of Java JSON Libraries.
Paper accepted to the 60th IEEE Conference on Decision and Control (CDC 2021). Paper title: Identification of Non-Linear Differential-Algebraic Equation Models with Process Disturbances.
My PhD student Saranya Natarajan successfully defended her PhD thesis on June 8, 2021. Title: Programming Language Primitives and Tools for Integrated Real-Time Systems Development. Congratulations Saranya!
PC member of the 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022).
Article accepted to the Springer Nature journal communications biology. Title: Universal probabilistic programming offers a powerful approach to statistical phylogenetics.
Co-PC chair of for the ACM SIGBED International Conference on Embedded Software (EMSOFT 2021).
Paper accepted to the 30th European Symposium on Programming (ESOP 2021). Paper title: Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.
Paper accepted to the 30th ACM SIGPLAN International Conference on Compiler Construction (CC 2021). Paper title: Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs.
Expert reviewer for the International Conference on Machine Learning (ICML), 2021.
Article accepted to the journal ACM Transactions on Embedded Computing Systems (TECS). Title: Interactive Programmatic Modeling.
Selected as a top 10% high-scoring reviewer for the Conference on Neural Information Processing Systems (NeurIPS), 2020.
Paper accepted to the Forum on specification & Design Languages (FDL 2020). Paper title: Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics.
Article published in journal ACM Transactions on Internet of Things (TIOT 2020). Title: Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing

All news and events...

This is a personal web page. More information.