Tobias Grosser

Tobias Grosser is an Associate Professor in Compiler Design at the Department of Computer Science and Technology, University of Cambridge. His research spans compilation, programming language design, and performance programming with applications to climate science, quantum computing, and hardware design. He leads an active research group focusing on making compilers more modular, predictable, and trustworthy while bridging the gap between developers and compilers.

His research interests include:

• Compilers and polyhedral compilation
• Static and dynamic program analysis
• High-performance computing and loop optimization
• Domain-specific compilation for accelerators (GPU, FPGA)
• Formal verification for compiler correctness
• Machine learning applications to compiler design

His recent publications demonstrate significant contributions to multi-level intermediate representations (MLIR), compiler verification using Lean, and performance modeling. His work on xDSL provides a Python-native compiler framework that enables rapid prototyping of compiler infrastructure. His research group has developed tools like FPL (Fast Presburger Library) for loop optimization in deep learning and scientific computing.

Scientific awards include two Amazon Research Awards (2023-2024) for work in automated reasoning, a Google PhD Fellowship, and an Ambizione Fellowship at ETH Zurich. He has advised numerous PhD students and researchers who have gone on to positions at Google, ETH Zurich, NVIDIA, and Intel.

He actively collaborates with industry through the Amazon Scholars program and hosts regular Compiler Social events in Cambridge. His research vision emphasizes connecting compiler technology with societal challenges like climate change while maintaining a strong commitment to open-source development and diversity in computer science.