Working on the development of the symbolic execution engine used by the K Framework. Also developed the kup utility, providing simple and user friendly way to install the K framework.

Created the Inferno scripting language; an ML style programming language used by clients to process their data on the OnPing SCADA platform.

Worked in the bioinformatics group, led by Professor Anthony J. Brookes, on tools for data discovery and access. Built discovery tools using React on the front end and a mixture of PHP, Python and Haskell on the back end. Used Docker and CI/CD to insure build repeatabality and ease of depolyment and testing. Developed and open sourced the quickjs-hs library, used to interact with the QuickJS JavaScript engine.

Individual/small group drop in sessions, helping A Level students with current class topics and coursework.

This internship was as an extension to the work on the final year project on building an Isabelle and Scala toolbox for working with display calculi. The toolbox, developed with Prof. Alexander Kurz during my final BSc year and the graduate internship, is freely available on GitHub.

Received a university grant to work on formalizing simple syllogistic logics in Isabelle under the supervision of Prof. Alexander Kurz and Dr. Tom Ridge for 10 weeks during the summer break. A tutorial on the basics of Isabelle, based on the work done on the project, is available on GitHub.

• Helped design the 2019 Compiler Construction and 2019 Programming Languages courses at Chapman University.
• Worked on string diagrams and a new version of the calculus toolbox (interested in adding refinement types).
• Was the team leader of the university team at the Audi Autonomous Driving Challenge 2018}.
• Was one of the organisers of MGS 2017, a graduate easter school in Computer Science.
• Attended the Marktoberdorf Summer School and the Dresden ICCL Summer School in 2017.

Final thesis on formalizing intersection types along with proofs of subject invariance for the λ-Y calculus.

• Achieved 85+% in most modules.
• Dissertation on formalizing display calculi in Isabelle/HOL and building a supporting toolbox for reasoning about their properties in Isabelle.
• Dissertation presented at the ALCOP 2015 conference in Delft.