I offer tutoring in programming, type theory, and various computer science topics. With a PhD in program synthesis and experience in both theoretical and practical aspects of programming languages, I can help students at undergraduate, graduate, and research levels. I specialize in the following areas:

Programming: Java, Python, fundamental programming concepts, object-oriented programming, data structures and algorithms

Functional Programming: Haskell, OCaml, advanced functional programming concepts

Theory: Type systems, operational semantics, program synthesis

Formal Methods: Program verification, formal semantics, logic in computer science

Research Guidance: Academic writing, research methodology, PhD supervision, and mentoring

Format & Availability

Sessions: Available for both one-off sessions and ongoing tutoring arrangements
Format: Online via video call or in-person (Brighton and Hove area)
Levels: Undergraduate, graduate, and research students
Languages: English

Contact

To discuss tutoring arrangements, rates, and availability, please get in touch: tutoring@jackohughes.com

Please include information about your current level of study, specific topics you'd like help with, and your preferred format and schedule.