Hoppa till huvudinnehållet
Till KTH:s startsida

David Broman

Profilbild av David Broman

Prefekt

Detaljer

Enhetens adress
Lindstedtsvägen 30

Forskare


Om mig

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

David Broman is a Professor at the School of Electrical Engineering and Computer Science (EECS)KTH Royal Institute of Technology in Sweden. He is the Head of Department for the Department of Computing and Learning Systems (CLS) at KTH, and an Associate Director Faculty for the research center 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 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 concerns software and computing in general, with a focus on the intersection of (i) programming languages and compilers, (ii) probabilistic machine learning, and (iii) real-time and cyber-physical systems. 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 for several years within the software industry, co-founded companies, co-founded the EOOLT workshop series, is the vice chair of the EMSOFT Steering Committee, is a member of IFIP Working group 2.4, the Modelica Association, the SWEDSOFT Board, a senior member of IEEE, and a former board member of Forskning och Framsteg.


Kurser

Examensarbete i datalogi och datateknik med inriktning mot maskininlärning, avancerad nivå (DA233X), examinator

Examensarbete inom datalogi och datateknik med inriktning mot ICT innovation, avancerad nivå (DA258X), examinator

Examensarbete inom datalogi och datateknik med inriktning mot ICT innovation, avancerad nivå (DA256X), examinator

Examensarbete inom datalogi och datateknik med inriktning mot inbyggda system, avancerad nivå (DA248X), examinator

Examensarbete inom datalogi och datateknik med inriktning mot kommunikationssystem, avancerad nivå (DA246X), examinator

Examensarbete inom datalogi och datateknik med inriktning mot programvaruteknik för distribuerade system, avancerad nivå (DA240X), examinator

Examensarbete inom datateknik, grundnivå (II142X), examinator

Examensarbete inom elektronik och datorteknik, grundnivå (IL142X), examinator

Examensarbete inom elektroteknik med inriktning mot ICT innovation, avancerad nivå (EA258X), examinator

Examensarbete inom elektroteknik med inriktning mot ICT innovation, avancerad nivå (EA256X), examinator

Examensarbete inom elektroteknik med inriktning mot inbyggda system, avancerad nivå (EA248X), examinator

Examensarbete inom elektroteknik med inriktning mot kommunikationssystem, avancerad nivå (EA246X), examinator

Examensarbete inom informations- och kommunikationsteknik, grundnivå (II143X), examinator

Examensarbete inom informationsteknik, avancerad nivå (IA250X), examinator

Examensarbete inom informationsteknik, grundnivå (IA150X), examinator

Kompilatorer och exekveringsmiljöer (FID3006), examinator

Kompilatorer och exekveringsmiljöer (ID2202), examinator, lärare, kursansvarig

Konsten att programmera (ID1022), kursansvarig