GHCi, version ℵ_0: https://www.haskell.org/   :? for help data David = Projects | Notes
*David> I worked on a research project under the supervision of Prof Toby Gee as part of my master's thesis in my final year. *David> I also worked as a problems curator for the Imperial College Mathematics Competition for undergraduates in my final year. *David> I did an industrial placement at Adjoint UK Ltd as a cryptography engineer developing Haskell libraries over Summer 2019. *David> I also did a research project under the supervision of Dr David Helm as part of the Undergraduate Research Opportunity Programme over Summer 2019. *David> I did a research project under the supervision of Prof Johannes Nicaise as part of the Undergraduate Research Opportunity Programme over Summer 2018. *David> I also did a group research project under the supervision of Dr Ambrus Pál as part of the second year mathematics group project over Summer 2018. *David> Unfortunately, all of my projects in the Department of Computing are publicly hidden due to regulations, but can be provided upon request. *David> I have also participated in a few hackathons and worked on several small personal projects.