Jeroen Ketema is a Senior Software Engineer at GitHub since January 2022, having previously worked as a Scientist at Embedded Systems Innovation by TNO from January 2017 to December 2021, where contributions were made to a toolchain for fact extraction. Prior experience includes roles as a Senior Software Engineer at Codeplay Software Ltd, contributing to OpenCL implementations and LLVM compiler backends, and as a Research Associate at Imperial College London, focused on formal verification of GPGPU software. Jeroen's research background includes model checking for railway safety systems at the University of Twente and programming language semantics during tenure at Tohoku University and Universiteit Utrecht. Jeroen earned a PhD and MSc in Computer Science from Vrije Universiteit Amsterdam between 1996 and 2005.
This person is not in the org chart
This person is not in any teams
This person is not in any offices