Heerko Groefsema
Assistant Professor at Rijksuniversiteit Groningen
Groningen, Groningen, Netherlands
Summary
👤
Senior🎓
Top SchoolHeerko Groefsema is an assistant professor and researcher at the Bernoulli Institute, University of Groningen, with nine years of post-PhD experience applying formal methods to business process management, service composition, compliance, and variability. He holds a PhD in business process variability and verification and has a track record of coordinating both small and large-scale research projects across academia. Heerko focuses on bringing automated verification, synthesis, and intelligent collaboration to distributed networked environments, translating formal techniques into practical tools for BPM. His career has progressed through roles as PhD student, postdoc, researcher, and now assistant professor at the same university, reflecting deep institutional knowledge and continuity in his research agenda. Less obvious: he has balanced his research positions at 0.5 FTE during parts of his career, demonstrating a sustained commitment to focused, high-quality research over extended periods.
9 years of coding experience
2 years of employment as a software developer
Bachelor - Ba, Informatics, Bachelor - Ba, Informatics at Hanzehogeschool GroningenMaster of Science - MSc, Informatics, Master of Science - MSc, Informatics at Rijksuniversiteit Groningen
Dutch, English
Github Skills (30)
hid10
energy10
keyboard10
human-interface10
hid-device10
joystick10
mouse10
gatt10
bluetooth-low-energy10
bluetooth9
micropython9
embedded9
esp328
twitch8
python8
Programming languages (7)
Github contributions (5)
Heerkog/NWO-Talent-programme-LaTeX-template
Jun 2021 - Aug 2022
NWO-Talent programme veni/vidi/vici 2021 LaTeX template
Contributions:4 commits, 2 PRs, 3 pushes in 1 year 3 months
templatenwoprogrammetalentlatex-template
rug-ds-lab/BPMPetriNet
Oct 2018 - Jan 2024
Contributions:3 releases, 30 pushes, 1 branch in 5 years 3 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.