Jack Hughes is a programmer and researcher working on programming language theory, type systems, and implementations. He is currently employed as a research associate at the University of Kent, as part of the Programming Languages and Systems research group. Jack's PhD thesis (available at the Kent Academic Repository), titled "Program Synthesis from Linear and Graded Types", explores the use of fine-grained resource constraints on types in the context of type-directed program synthesis. As a research associate, Jack is working on the design and implementation of a new programming language called Spegion, which uses sized memory regions to statically enforce memory safety. For more details please see the forthcoming ECOOP paper. A complete list of Jack's publications can be found here.

Jack offers tutoring in programming language theory, type systems, and functional programming for students at undergraduate, graduate, and research levels. More information about tutoring services is available here.

Curriculum vitae available upon request.
contact@jackohughes.com