David Broman - The Lambda Calculus

David Broman is an Associate Professor at the KTH Royal Institute of Technology, Associate Director Operations for KTH Digital Futures, and CEO of Consecio AB. 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.