Computer Science at Birkbeck, University of London
Software developer and educator, Computer Science at Birkbeck, University of London. Developed a translator to convert Java code into a logically constrained term-rewriting system. Implemented an interpreter for machine language with arithmetic operations and jump instructions.