cv

PhD in Electrical and Electronic Engineering

Imperial College London, UK

• Thesis title Equality Saturation for Hardware Synthesis and Verification.
• Supervisor Professor George A. Constantinides.

M.Phil in Scientific Computing

University of Cambridge

• Thesis title GPU-accelerated interpolation for initialising transition state searches.

BA in Mathematics

University of Cambridge

Graphics Hardware Engineer

Intel Corporation Corporation, UK.

• Arithmetic circuit design for Intel GPUs across compute and graphics.
• Supervised three interns - each leading to publication.

Firmware Engineer

Alcatel IP Networks, Nokia

• Developed C++ firmware and worked on bring-up of next generation silicon.

Summer Internship

Intel Corporation, USA.

Summer Internship

Riverlane Quantum Computing, UK.

Summer Internship

Cadence Design Systems, UK.

• Stylianos Kalaitzis Award Imperial Colelge London EEE, most promising doctoral work

• Tallow Chandlers Award Selwyn College Cambridge, academic excellence