Experience

G-Research
• United Kingdom
• Capital Markets
• 700 & Above Employee
• Software Engineer

  • Jun 2022 - Present


University of Cambridge

• United Kingdom
• Research Services
• 700 & Above Employee

• Doctoral Student

  • Oct 2018 - Present

  My research investigated reasoning about and structuring functional programs using graded monads, in particular how various program analyses can be represented using appropriate grading algebras. Had my viva in early April 2022, currently making corrections and expecting to graduate in late 2022. My research investigated reasoning about and structuring functional programs using graded monads, in particular how various program analyses can be represented using appropriate grading algebras. Had my viva in early April 2022, currently making corrections and expecting to graduate in late 2022.


Jump Trading LLC
• Israel
• Financial Services
• Quantitative Research Intern

  • Jan 2022 - Apr 2022


Improbable

• United Kingdom
• Software Development
• 300 - 400 Employee

• Software Engineer Intern

  • Jul 2018 - Sep 2018

  Member of the Develop team that developed the SpatialOS GDK for Unity, with support for the new Unity Entity Component System. Worked on creating tooling for the game development team at Improbable. Member of the Develop team that developed the SpatialOS GDK for Unity, with support for the new Unity Entity Component System. Worked on creating tooling for the game development team at Improbable.



Google

• United States
• Software Development
• 700 & Above Employee

• Site Reliability Engineering Intern

  • Jun 2017 - Sep 2017

  I was a member of the SRE team supporting advertiser products like AdWords and AdSense. I developed a simulation framework for a complex orchestration system that sequences automation changes in production. I was a member of the SRE team supporting advertiser products like AdWords and AdSense. I developed a simulation framework for a complex orchestration system that sequences automation changes in production.

• Undergraduate Researcher

  • Jul 2016 - Sep 2016

  Undergraduate researcher in the University of Cambridge Computer Laboratory. Worked on the ERC-sponsored project 'DYNAMICMARCH: Dynamics of Multiple, Interacting and Concurrent Markov Chains' with Dr Thomas Sauerwald. The main topic was investigating the cover times of multiple random walks on graphs, as well as researching new mathematical tools for proving tight bounds. Undergraduate researcher in the University of Cambridge Computer Laboratory. Worked on the ERC-sponsored project 'DYNAMICMARCH: Dynamics of Multiple, Interacting and Concurrent Markov Chains' with Dr Thomas Sauerwald. The main topic was investigating the cover times of multiple random walks on graphs, as well as researching new mathematical tools for proving tight bounds.



Microsoft Serbia

• Software Development Engineer

  • Jul 2015 - Sep 2015

  Intern in the SQL Server Engine team. Intern in the SQL Server Engine team.