Michael Gardiner

Michael Gardiner is a computer hardware engineer currently serving as a Staff Engineer at Arm. With experience in verification of cache memories and design for reliable systems, Michael previously worked at Marvell Semiconductor, where they participated in core debug processes for ARM CPU designs, and at National Instruments, where they developed automated testing software for product features. Michael also contributed to research at Brigham Young University, focusing on radiation experiments and FPGA-based processor performance, earning both a Master of Science and a Bachelor of Science in Electrical and Computer Engineering.