Hello Haskell Community,
My name is Nana, I recently graduated with a Master of Science in Advanced Computer Science with Distinction from the University of Leicester. My goal in posting is to make the community aware of my availability for internships and phd research positions in programming language theory, compiler design, and formal methods.
My Master’s thesis was titled “Implementation of an SOS-based Interpreter for the L Programming Language,” for which I earned a grade of ‘A’. The core of this project was implementing a complete interpreter for a functional language, based on lambda calculus, entirely in Haskell. This included building a custom monadic parser combinator library from scratch and implementing an evaluation engine that directly translated the language’s formal Structured Operational Semantics (SOS) into executable code, complete with support for closures and lexical scoping.
Through this work, I gained deep practical experience with Haskell’s features for symbolic computation. My broader academic background includes high marks in modules like Computational Intelligence and Software Engineering and Advanced C++ Programming. I also developed a web-based REPL and user interface for the interpreter to demonstrate its practical application.
I also have over 6 years experience as a software engineer across multiple industries.
I am keen to contribute to a research group or a company that is tackling challenging problems in language design, type systems, static analysis, or compiler development.
Thank you for your time.