During his tenure at Green Hills, Tim held various roles, including engineering and engineering management roles for real-time operating systems, hypervisor, and compiler toolchain technologies. He led the professional services organization and oversaw sales channels and new product launches. His experience spans automotive, industrial, aerospace, and defense end markets, and he brings expertise in software robustness, formal verification, and the use of new programming languages in safety- and security-critical applications. Tim graduated with a B.S. in Engineering and Applied Science from the California Institute of Technology.