HMC - Heterogeneous Model Compilers for Uncertain EnvironmentsHMC is a 5-year research project awarded to David Broman, as part of the Swedish Foundation for Strategic Research (SSF)'s individual grant for future leaders (FFL 6). The project started in January 2017 and has a total funding of 12 million SEK. The overall goal is to develop new techniques and tools that make it easier to develop complex systems, by combining heterogeneous models and to automatically generate efficient runtime systems on heterogeneous platforms. The concrete expected output is an open-source model-based compiler that will be directly usable to the industry.
ASSEMBLE - Automating System SpEcific Model-Based LearningASSEMBLE is a 5-year research project that is financially supported by the Swedish Foundation for Strategic Research (SSF). The project started in July 2016 and has a total funding of 29 million SEK. The objective of the project is to develop a new probabilistic modeling language together with new machine learning inference algorithms to enable fast and complex development of smart systems. The project team consists of four researchers: From KTH: David Broman and Joakim Jaldén. From Uppsala University: Thomas Schön (main PI) and David Black-Schaffer.
DPPL - Differentiable Probabilistic Programming LanguagesThe DPPL project is a personal grant awarded to David Broman (4.2 million SEK) and is sponsored by the Swedish research council (VR). The project started January 2019 and continues for 4 years, with the possibility of one year extension. The overall goal of this project is to develop a new theoretical foundation for differentiable probabilistic programming languages that enables efficient and robust learning-based real-time systems. A novelty of our approach is to combine state-of-the-art techniques from three separate research communities: (i) machine learning (stochastic gradient descent and Bayesian inference methods), (ii) programming and modeling languages (operation semantics, type theory, meta-programming, and partial evaluation), and (iii) real-time systems (scheduling theory and timing analysis).
This project is financially supported by the Swedish Research Council (VR).
Deep Probabilistic Neural Networks for Survival AnalysisThis project is a collaboration project between David Broman (KTH) and Thomas Schön (Uppsala University). It is funded by the Wallenberg AI, Autonomous Systems and Software Program (area WASP-AI) and funds two PhD students (one at KTH and one in Uppsala). The project started in the fall 2019, and is a 5-year project. The aim of the project is to introduce a novel way to combine deep neural networks with probabilistic programming to address the fundamental problem of learning representations for probabilistic deep neural networks.
This project is financially supported by the Wallenberg AI, Autonomous Systems and Software Program (area WASP-AI).
DLL - Data-Limited Learning of Complex Dynamical SystemsThe DLL project is a project funded by Digital Futures, a research center at KTH, SU, and RISE. The project is a collaboration between five co-PIs: David Broman (main PI), Saikat Chatterjee, Veronique Chotteau, Hĺkan Hjalmarsson, and Alexandre Proutiere. The project is initially funded as a start-up project during 2019. After a hearing by an international panel, the project was extended to a 4-year 20 MSEK project, starting in July 2020. The overall research objective is development of new techniques, methods, and tools to learn and control complex dynamical systems using limited number of data samples and structural information in a reliable manner.
This project is financially supported by Digital Futures.
TECoSA - Center for Trustworthy Edge Computing Systems and ApplicationsTECoSA is a research center funded by Vinnova. It consists of several co-PIs (David Broman, György Dán, Elena Dubrova, Lei Feng, Elena Fersman, James Gross, Iolanda Leite, Jana Tumová, and Martin Törngren) at KTH and 13 industrial partners. David Broman is a co-PI of the center and involved in a joint project related to safety. The main topic for David's group in this project is on probabilistic programming for Edge computing. Total funding for my group is approx. 3.4 MSEK. This project focus on the collaboration with industry, where one of the key partners is Atlas Copco.
This project is financially supported by Vinnova.
This is a personal web page. More information.