Scott Kilpatrick

Scott Kilpatrick is a Professor at the Max Planck Institute for Software Systems (MPI-SWS), where he leads research in programming languages and software systems. His work focuses on modularity, type systems, and language design, particularly in Haskell and related technologies.

Research interests include modularity in programming languages, type system design, and the integration of advanced type systems with practical language features. He has contributed significantly to modular package management (Backpack) and type-checking methodologies for complex dispatch systems.

Publications emphasize foundational work on Haskell modularity and type systems, bridging theory with practical compiler implementations. His work has implications for scalable software development and maintainability in large systems.

He is affiliated with MPI-SWS's Programming Languages and Software Systems group, and his research aligns with broader efforts in distributed systems security and cyber-physical systems.