Geert Janssen
Research Staff Member at IBM T. J. Watson Research Center
Town of Putnam Valley, New York, United States
Summary
🤩
RockstarGeert Janssen is a research staff member at IBM T.J. Watson Research Center with over three decades of experience in design automation, hardware design, and formal verification, and eleven years counted in the provided experience metric. He has driven projects spanning Smarter Energy, BlueGene testing, and applications of deep learning to verification problems, combining rigorous research with practical systems work. Previously an assistant professor at Eindhoven University of Technology, he brings academic depth to applied industrial research. A Linux enthusiast and programming purist who enjoys electronic gadgets, Geert blends low-level comfort with high-level algorithmic thinking. Based in Putnam Valley, NY, he is known for translating formal methods into testable, deployable solutions that improve system reliability at scale. Notably, his career bridges military, industry, and academia, giving him a rare perspective on disciplined engineering across contexts.
11 years of coding experience
14 years of employment as a software developer
Dutch, German, French, English
Github Skills (129)
parser10
xml-to-json10
dax10
parsing10
julia9
science9
python9
deep-learning9
machine-learning9
underscore9
xml9
tensorflow9
tree-sitter8
neural-network8
bison8
Programming languages (10)
Github contributions (5)
geert56/fun
Jun 2017 - Mar 2022
Contributions:8 pushes, 1 branch in 4 years 9 months
geert56/words
Nov 2020 - Oct 2021
Contributions:16 pushes, 1 branch in 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.