Dr. David Broman

Professor

Build a Statement of Purpose

Generate a tailored SOP for Dr. David Broman. Improve your application with a focused, well-structured draft.

Biography

David Broman is a Professor in the Department of Computer Science at the KTH Royal Institute of Technology in Sweden. He received his Ph.D. in Computer Science from Linköping University in 2010. His research interests lie at the intersection of programming languages and compilers, real-time cyber-physical systems, and probabilistic machine learning. Throughout his career, David has been recognized with several accolades including the ETAPS paper award in 2023, the Distinguished Artifact Award at ESOP in 2022, and the outstanding paper award at RTAS in 2018. David has also been awarded the teacher of the year by the student union at KTH in 2017, recognizing his contributions to education. He has been involved in the software industry for several years and co-founded companies, as well as workshops such as the EOOLT workshop series. David is an active member of various professional organizations, including IEEE and the Modelica Association. He has held positions such as Visiting Scholar at the University of California, Berkeley, and has served on multiple academic committees.

Research Interests

Programming Languages Compilers Real-Time Cyber-Physical Systems Probabilistic Machine Learning

Experience

Professor

2010-01-01 — Present

KTH Royal Institute of Technology • Stockholm, Sweden

Teaching and conducting research in computer science, focusing on programming languages, compilers, and real-time systems.

Awards

#

ETAPS Paper Award

#

Distinguished Artifact Award

#

Outstanding Paper Award

#

Teacher of the Year

#

IoTDI Paper Award

#

Individual Grant for Future Research Leaders

Courses

Compilers Execution Environments (FID3006) Compilers Execution Environments (ID2202) Interactive Theorem Proving Dependent Types (FID3217) Types, Semantics, Programming Languages (FIK3620)

Requirements for KTH Royal Institute of Technology

Master Program
Requirements
GPA Requirement
Required:3
IELTS
Listening
Required:5.5
Reading
Required:5.5
Writing
Required:5.5
Speaking
Required:5.5
Overall
Required:6.5
TOEFL
Listening
Required:0
Reading
Required:0
Writing
Required:20
Speaking
Required:0
Total
Required:90
PTE
Listening
Required:0
Reading
Required:0
Writing
Required:62
Speaking
Required:0
Overall
Required:62
Prerequisites
Bachelor's degree (180 ECTS) in Science, Engineering, or a related field. Specific course requirements vary by department (e.g., Mathematics, Programming, or Subject-specific credits).
Application Checklist
  • Certificates and diplomas of completed degree
  • Transcript of records
  • Proof of English proficiency
  • Copy of passport or ID
  • Curriculum Vitae (CV)
  • Letter of Motivation
  • Letters of Recommendation (if required by program)
  • Summary of Project (if required)
Specialization Notes

Master's programs are organized under Schools; departments listed are units within these schools (e.g., EECS, ABE, CBH, ITM, SCI).