Lab directory
Prof. Steffen van Bakel — Research Profile
Imperial College London · Department of Computing
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Jul 22, 2026
About
임페리얼 칼리지 런던 컴퓨터학과 소속 Steffen van Bakel 교수의 등록된 연구 분야는 Functional programming, lambda calculus, type systems, semantics입니다.
Research keywords
Functional programminglambda calculustype systemssemantics
Other labs in this department
- Abbas Edalat 교수 연구실
Computational geometry, optimization theory, game theory
- Alastair Donaldson 교수 연구실
Formal verification, software performance optimization
- Aldo Faisal 교수 연구실
Neurotechnology, machine learning, algorithmic behavior prediction
- Alessandra Russo 교수 연구실
Computational logic, logic-based machine learning, autonomous systems
- Alessio Lomuscio 교수 연구실
AI verification, computer vision validation, certified learning
- Andrew Davison 교수 연구실
Computer vision, robotics, SLAM, augmented reality