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 - May 2026
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
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.
Contact Me
josephluk3@gmail.com
+44 (0)7308 759186
Copyright © 2026 Joseph Luke