Nick Benton is a Software Engineering Manager at Facebook in London, supporting the Hack compiler team and the FLaRe research group.
Before joining Facebook, he spent 18 years at Microsoft, where he was a Senior Researcher. He has served as Editor-in-Chief of Computer Languages, Systems and Structures (Elsevier) and is currently a member of the Editorial Boards of the Journal of Functional Programming (CUP) and Logical Methods in Computer Science.
Nick’s research ranges from proof theory and categorical logic, through semantics of programming languages and static analyses, to programming language design and compiler implementation. He has worked on many topics relating to programming languages, including program analysis, linear logic, compilation of functional languages, concurrency, monads and effects, and machine-formalized proofs of compiler correctness.