Researcher at Arm Ltd focussing on creating formal specifications of the Arm processor architecture and helping people use the specifications. I have also worked on Software Defined Radio, pipeline parallelism, vectorizing compilers, vector instruction set design and, before Arm, I worked on microkernels, component based OSes and Haskell at Glasgow, Yale and Utah universities.
100.0% Checking done100.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
0.0% Nothing done yet0.0%
|Last revision: 9 months, 3 weeks ago|