Philipp Schuster

Philipp Schuster is a researcher at the University of Tübingen, Germany, specializing in programming languages, compiler design, and functional programming. His work focuses on effect handlers, type systems, and efficient code compilation, with a strong emphasis on lexical scope and formal verification.

His research contributions include innovations in capability-passing style for effect handlers, direct-style compilation, and monomorphization techniques. He has actively participated in program committees and artifact evaluations for major conferences like ICFP, SPLASH, and APLAS.

Key trends in his publications revolve around effect handling, lambda calculus, type safety, and compiler optimization. His work bridges theoretical foundations with practical implementations, aiming to improve modularity and runtime efficiency in functional programming languages.

He has served on program committees and artifact evaluation panels for conferences such as ICFP, SPLASH, APLAS, and HOPE, demonstrating leadership and collaboration in advancing programming language research.