David Seal is one of the chief instruction set architects working for ARM, and has worked with the ARM architecture since it was first developed in 1984-85. He received a BA in Mathematics from Cambridge University, England, and is the holder of several patents relating to the ARM architecture.