معرفی
David Broman is a Professor at KTH Royal Institute of Technology in Sweden, leading the Division of Software and Computer Systems (SCS) and serving as Associate Director Faculty for Digital Futures. He holds a Ph.D. in Computer Science from Linköping University (2010), with visiting roles at UC Berkeley (2012–2016) and Stanford University (2023–2024). His research spans programming languages, real-time systems, and probabilistic machine learning, emphasizing secure and efficient compilation techniques.
- Education: Ph.D. in Computer Science (Linköping University, 2010)
- Visiting Roles: UC Berkeley (2012–2014 part-time), Stanford University (2023–2024)
Research Interests: David focuses on advancing programming language theory, compilers, and probabilistic methods. Key areas include transformer-based compilation, cyber-physical systems, and formal verification. His work bridges theory and practice, addressing challenges in software reliability and efficiency.
Awards: Notable recognitions include the Best ETAPS Paper Award (2023), Distinguished Artifact Award (ESOP 2022), and Teacher of the Year (KTH 2017). His contributions also include grants from the Swedish Foundation for Strategic Research and Wallenberg AI, Autonomous Systems and Software Program (WASP).
Advising & Grants: David mentors graduate students (e.g., Gizem Caylak, Viktor Palmkvist) and leads projects funded by WASP, focusing on next-generation compilation techniques. He also contributed to tools like Miking, Timed C, and FlexPRET.
Labs & Teams: His team develops frameworks for probabilistic programming and real-time systems, emphasizing collaboration with industry and academia through initiatives like Digital Futures at KTH.
