Tom Franken
PHD Student At The Group Formal Systems Analysis at Technische Universiteit Eindhoven
Eindhoven, North Brabant, Netherlands
Summary
👤
Senior🎓
Top SchoolTom Franken is a PhD student in Formal Systems Analysis at Eindhoven University of Technology with a decade of hands-on experience spanning algorithms, formal methods, and software development. He completed a Master in Computer Technology after a bachelor in Software and Web Science, and has practical programming experience in Java, C, JavaScript and web technologies alongside tutoring and grading roles for core CS courses. Tom combines research rigor with applied teamwork—he has contributed to a student-built portable biosensor project and served multiple student organizations as secretary and treasurer, honing documentation and project coordination skills. His background in logic, set theory and algorithms complements his research focus, and he frequently bridges formal theory with implementable solutions. Colleagues describe him as methodical and reliable, with a knack for turning formal specifications into clear, testable designs.
10 years of coding experience
Master, Computer Technology/Computer Systems Technology, Master, Computer Technology/Computer Systems Technology at Technische Universiteit EindhovenHigh School, High School at Stedelijk Gymnasium 's-Hertogenbosch
English, Dutch, German
Github Skills (1)
robot5
Programming languages (1)
Github contributions (5)
amaralf/tuetest
Jun 2018 - Sep 2018
Contributions:126 pushes, 4 branches in 3 months
VinceVerspeek/Toolr
Apr 2018 - Apr 2018
Contributions:5 PRs, 39 pushes, 3 branches in 10 days
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.