David Broman
Professor
KTH Royal Institute of Technology
Visiting Professor
Stanford University
Associate Director Faculty
Digital Futures
Address:
KTH Royal Institute of Technology
EECS/SCS
Kistagången 16
164 40 Kista
SWEDEN
Email:
dbro@kth.se broman@stanford.edu
Office: +46 8 790 42 74
Cellular: +46 73 765 20 44 +1 650 304 4777
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
- A new exciting Ph.D. position is available in my group. The topic is on the intersection of programming languages, compilers, natural language processing, and machine learning using large language models. Please check out the ad, as well as the project description. Application deadline is June 12, 2024.
- Paper accepted to the 33rd European Symposium on Programming (ESOP 2024). Paper title: Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.
- General Chair for the Forum on Specification & Design Languages (FDL), Stockholm, September, 2024.
- The second Miking Workshop took place on November 23, 2023. Please see the workshop agenda.
- I'm a Visiting Professor at Stanford University during a 1-year period (fall 2023 and spring 2024).
- Paper accepted to the International Conference on Generative Programming: Concepts and Experiences (GPCE 2023). Paper title: Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers.
- We received the best ETAPS paper on programming languages and systems (the EAPLS Award). The paper was published at the 32nd European Symposium on Programming (ESOP) with title: Automatic Alignment in Higher-Order Probabilistic Programming Languages.
- Article accepted to journal Systematic Biology. Paper title: Online tree expansion could help solve the problem of scalability in Bayesian phylogenetics.
- My PhD student Daniel Lundén successfully defended his PhD thesis on March 29, 2023. Title: Correct and Efficient Monte Carlo Inference for Universal Probabilistic Programming Languages. Congratulations Daniel!
- Paper accepteed to the 32nd European Symposium on Programming (ESOP 2023). Paper title: Automatic Alignment in Higher-Order Probabilistic Programming Languages.
- We successfully organized the first Miking Workshop, which took place on December 14, 2022. Please see the workshop agenda and the news from Digital Futures.
- Paper accepted to the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). Paper title: Statically Resolvable Ambiguity.
All news and events...
|
|
This is a personal web page.
More information.