Presenter

Dr Tobias Grosser is a reader (associate professor) in the School of Informatics at the University of Edinburgh and a member of the Edinburgh Compiler and Architecture Design Group. He is most widely known for his work on polyhedral loop optimization in production compilers such as GCC (graphite) and LLVM (Polly) during his masters at University of Passau (DE) with Christian Lengauer and later his Ph.D. as a Google Fellow at Ecole Normale Supérieure Paris (FR) Albert Cohen. As Ambizione Fellow at ETH Zurich, Grosser expanded his research towards high-performance linear programming solvers, domain-specific compilers (e.g., for climate science), and open-source software for hardware design. Today, Grosser is interested in bringing open-source production compiler technology to a wide range of domains (e.g, databases, SMT solvers, formal theorem provers) and is in particular interested in identifying new ideas that cross domain boundaries