David Broman

Professor
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

Social media:
[Twitter] [LinkedIn]

My research focuses on the intersection of (i) programming languages and compilers, (ii) real-time and cyber-physical systems, and (iii) probabilistic machine learning. Please see the following page for an overview of my research.

News and Events

Paper accepted to the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). Paper title: Statically Resolvable Ambiguity.
PC chair for the Forum on Specification & Design Languages (FDL), Turin, Italy, September, 2023.
Paper accepted to the 61st IEEE Conference on Decision and Control (CDC 2022). Paper title: Stochastic Approximation for Identification of Non-Linear Differential-Algebraic Equations with Process Disturbances.
New short course/tutorial on Fundamentals of Bayesian Inference using Probabilistic Programming.
We received a Distinguished Artifact Award at the 31st European Symposium on Programming (ESOP 2022) for the paper Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.
PC chair for the ACM SIGBED International Conference on Embedded Software (EMSOFT 2022).
Paper accepted to the 31st European Symposium on Programming (ESOP 2022). Paper title: Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.
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 for 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.

All news and events...

This is a personal web page. More information.