Version Mildenberg
Speaker: Alastair Reid
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.
Events in this conference
 |
How can you trust formally verified software? |