Curtain talk: The Lambda Calculus
We proudly present Professor David Broman, that will be talking about the Lambda calculus. The goal of curtain talks is to provide the background and explain the significance of equations for digital transformation of modern societies.
Date and time: 24 February, 3 pm – 4 pm
Speaker: David Broman
Title: The Lambda Calculus
Location: Zoom https://kth-se.zoom.us/j/69822195182?pwd=MWhxRnNNZS8vN0xLVVMvaC9qN2dLQT09
Meeting ID: 698 2219 5182
Password: 011235
Watch the recorded presentation:
Bio: 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. 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. David received his Ph.D. in Computer Science in 2010 from Linköping University, Sweden, and was appointed Assistant Professor there in 2011.
He earned a Docent degree in Computer Science in 2015. 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.