Emma Tye

Emma Tye is a Functional Software Engineer at Imandra since September 2023, previously serving as a Software Engineer at Droit from September 2020 to September 2023, where expertise in Clojure and ClojureScript was utilized to develop various financial regulatory products. Prior experience includes roles as an Undergraduate Teaching Assistant at Imperial College London, tutoring and marking assignments in logic and discrete mathematics, and an Engineer Intern position at Artificial, focusing on modeling insurance contracts using Haskell. Emma Tye also contributed to research at Imperial College London, assisting in bug fixes and feature additions for the JavaScript Verification Tool (JaVerT) while implementing data structures in their intermediate language. Emma Tye holds a Master of Engineering degree in Maths and Computer Science from Imperial College London, completed in 2020.