Hoppa till huvudinnehållet

David Broman

Profilbild av David Broman

PROFESSOR

Detaljer

Adress
KISTAGÅNGEN 16, KISTA

Forskare

Forskar-ID

Om mig

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

David Broman is a Professor at the Department of Computer Science, KTH Royal Institute of Technology, a Visiting Professor at the Computer Science DepartmentStanford University, 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. 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.4Modelica Association, a senior member of IEEE, and a former board member of Forskning och Framsteg.

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


Kurser

Differentierbara probabilistiska programmeringsspråk (FID3026), examinator, kursansvarig, lärare | Kurswebb

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

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

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

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

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

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

Examensarbete inom datateknik, grundnivå (II142X), examinator | Kurswebb

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

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

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

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

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

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

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

Examensarbete inom informationsteknik, grundnivå (IA150X), examinator | Kurswebb

Kompilatorer och exekveringsmiljöer (ID2202), examinator, kursansvarig | Kurswebb

Kompilatorer och exekveringsmiljöer (FID3006), examinator, lärare | Kurswebb

Typer, semantik och programmeringsspråk (FIK3620), examinator | Kurswebb