About Me

I'm currently completing my final year at the University of Edinburgh studying Computer Science and Physics for my undergraduate degree.

Experience

Education

Skills

  • October 2025 - Present
    Platform Engineer at Edinburgh University Formula Student
  • June 2025 - August 2025
    Data Science Intern at ZainTECH
  • January 2025 - Present
    Teaching Support Provider at the University of Edinburgh
  • July 2024
    Enterprise Resource & Planning (ERP) Intern at Ebrahim Khalil Kanoo
  • 2022-2026
    Computer Science and Physics (BSc Hons) at the University of Edinburgh
    Expected Result: First-Class Honours
  • Computer Science and Physics
    Combining all layers of abstraction - high to low level
  • Computer Architecure
    RISC-V Hardware Components, Branch Predictor Simulator
  • Operating Systems
    Completely Fair Scheduler (CFS)
  • Quantum Computing
    Quantum Algorithms, Qiskit Development

Projects

Hardware Mining Tool for Efficient Machine Learning Accelerators

Designed a framework using approximate program synthesis (AppSyn) and syntax-guided synthesis (SyGuS) with CVC5 to generate and optimise arithmetic components for ML accelerators under MX (Microscaled) data formats. Integrated high-level synthesis (HLS) for Verilog generation and PPA evaluation.

RISC-V Processor Development & Optimisation

Implemented the Arithmetic Logic Unit (ALU) and register file, iteratively optimising performance by buffering the multiplier and implementing data forwarding with stalling to prevent data hazards. Tested the processor’s performance on an FPGA board.

See more

Contact Me

josephluk3@gmail.com

+44 (0)7308 759186

Download CV

Copyright © 2026 Joseph Luke