Version Mildenberg

Speaker: Alastair Reid

Adr2

Researcher at Arm Ltd focussing on creating formal specifications of the Arm processor architecture and helping people use the specifications.

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.