C3Subtitles: Speaker: Alastair Reid

Alastair Reid

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

Infos

Event(s):
34. Chaos Communication Congress
Language(s):
English
Track(s):
Resilience
Links:
Alastair Reid's website

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.

Statistics

English
152.3 wpm
842.3 spm
100.0% Checking done100.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
0.0% Nothing done yet0.0%