Skip to main content

David Broman

Profile picture of David Broman

ASSOCIATE PROFESSOR, DOCENT

Details

Address
KISTAGÅNGEN 16, KISTA

Researcher

Researcher ID

About me

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

David Broman is an Associate Professor at the KTH Royal Institute of Technology, Associate Director Faculty for Digital Futures, and CEO of Consecio AB. 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. David received his Ph.D. in Computer Science in 2010 from Linköping University, Sweden, and was appointed Assistant Professor there in 2011. He earned a Docent degree in Computer Science in 2015. His research focuses on model-based design of time-aware systems, including cyber-physical systems, embedded systems, and real-time systems. In particular, he is interested in programming and modeling language theory, formal semantics, compilers, and machine learning. David has received 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)awarded the Swedish Foundation for Strategic Research's individual grant for future research leaders (2016), and the best paper presentation award at CSSE&T (2010). He has worked several years within the software industry, co-founded three companies, co-founded the EOOLT workshop series, and is a member of IFIP WG 2.4Modelica Association, a senior member of IEEE, and a board member of Forsknings och Framsteg.

For more information, please see David's home page: http://people.kth.se/~dbro/


Courses

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

Computer Hardware Engineering (IS1200), examiner, course responsible, teacher | Course web

Computer Organization and Components (IS1500), examiner | Course web

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

Degree Project in Computer Science and Engineering, Second Cycle (II246X), examiner | Course web

Degree Project in Computer Science and Engineering, Second Cycle (II226X), 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 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, Second Cycle (IL246X), 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


Profile picture of David Broman

Publications

Publication list