Computer Science at University of Manchester
Machine learning and software development, Computer Science at University of Manchester. Enhanced MiniSAT with a symmetry propagation algorithm, improving solver efficiency. Developed an ARM assembly music player with precise timing control and custom hardware integration.