I'm currently a first year PhD student in FP Lab at the University of Nottingham, under the supervision of Thorsten Altenkirch.
I obtained my master degree in 2023 at Imperial College London, Department of Computer Science
I'm generally interested in type theory, category theory and functional programming.
I will save a space for the future works
This is a second-year module for computer science students, mainly about automata theory and formal language theory. You can find the slides I used for the weekly tutorials here.
I also worked as a lab assistant to help first-year undergraduates to understand and write Haskell