Skip to main content
Back to KTH start page

David Broman

Profile picture of David Broman

Professor

Details

Telephone
Address
KISTAGÅNGEN 16, KISTA

Researcher


About me

(See my webpage:http://people.kth.se/~dbro/ for more details)

David Broman is a Professor at the Department of Computer ScienceKTH Royal Institute of Technology in Sweden. He is the Head of Division for the Division of Software and Computer Systems (SCS) at KTH, and an Associate Director Faculty for Digital Futures. He received his Ph.D. in Computer Science in 2010 from Linköping University, Sweden. 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. Between 2023 and 2024, he was a Visiting Professor for a year at the Computer Science DepartmentStanford University. His research focuses on the intersection of (i) programming languages and compilers, (ii) real-time and cyber-physical systems, and (iii) probabilistic machine learning. David has received the Best ETAPS paper award on on programming languages and systems (the EAPLS Award, co-authored 2023), a Distinguished Artifact Award at ESOP (co-authored 2022), an outstanding paper award at RTAS (co-authored 2018)a best paper award in the journal Software & Systems Modeling (SoSyM award 2018)the award as teacher of the year, selected by the student union at KTH (2017)the best paper award at IoTDI (co-authored 2017), and awarded the Swedish Foundation for Strategic Research's individual grant for future research leaders (2016). He has worked several years within the software industry, co-founded companies, co-founded the EOOLT workshop series, and is a member of IFIP WG 2.4EMSOFT Steering Committee, Modelica Association, a senior member of IEEE, and a former board member of Forskning och Framsteg.


Courses

Compilers and Execution Environments (ID2202), examiner, course responsible | Course web

Compilers and Execution Environments (FID3006), examiner, teacher | Course web

Degree Project in Computer Engineering, First Cycle (II142X), examiner | Course web

Degree Project in Computer Science and Engineering, specialising in Communication Systems, Second Cycle (DA246X), examiner | Course web

Degree Project in Computer Science and Engineering, specialising in Embedded Systems, Second Cycle (DA248X), examiner | Course web

Degree Project in Computer Science and Engineering, specialising in ICT Innovation, Second Cycle (DA256X), examiner | Course web

Degree Project in Computer Science and Engineering, specialising in ICT Innovation, Second Cycle (DA258X), examiner | Course web

Degree Project in Computer Science and Engineering, specializing in Machine Learning, Second Cycle (DA233X), examiner | Course web

Degree Project in Computer Science and Engineering, specializing in Software Engineering for Distributed Systems, Second Cycle (DA240X), examiner | Course web

Degree Project in Electrical Engineering, specialising in Embedded Systems, Second Cycle (EA248X), examiner | Course web

Degree Project in Electrical Engineering, specialising in ICT Innovation, Second Cycle (EA256X), examiner | Course web

Degree Project in Electrical Engineering, specialising in ICT Innovation, Second Cycle (EA258X), examiner | Course web

Degree Project in Electrical Engineering, specializing in Communication Systems, Second Cycle (EA246X), examiner | Course web

Degree Project in Electronics and Computer Engineering, First Cycle (IL142X), examiner | Course web

Degree Project in Information and Communication Technology, First Cycle (II143X), examiner | Course web

Degree Project in Information and Communication Technology, First Cycle (IA150X), examiner | Course web

Degree Project in Information and Communication Technology, Second Cycle (IA250X), examiner | Course web

Interactive Theorem Proving with Dependent Types (FID3217), examiner | Course web

Types, Semantics, and Programming Languages (FIK3620), examiner | Course web