Thomas Van Binsbergen

Associate Professor

Amsterdam, North Holland, Netherlands
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Thomas Van Binsbergen is an associate professor and researcher based in Amsterdam with 11 years of experience at the intersection of programming languages, modelling, and automated compliance. He leads the Amsterdam Data Exchange (AMdEX) as PI, focusing on practical mechanisms for automated compliance in cross-domain data sharing and processing. His background spans academia and research institutions including a PhD from Royal Holloway and roles at CWI and the University of Amsterdam, where he progressed from postdoc to assistant and now associate professor. Known for supervising projects and managing research teams, he blends formal methods with applied system-building to make compliance auditable and automatable. An understated strength is his ability to translate formal language designs into usable tooling and governance frameworks that address real-world data collaborations.
code11 years of coding experience
job6 years of employment as a software developer
bookDoctor of Philosophy Computer Science, Doctor of Philosophy Computer Science at Royal Holloway, University of London
bookMaster of Science Computer Science, Master of Science Computer Science at Utrecht University
github-logo-circle

Github Skills (32)

pattern-matching9
checker9
code-generation9
query-language9
relational-algebra9
reverse-engineering8
parser-generator8
interpreter8
static-analysis7
metaprogramming7
jekyll6
haskell6
pure-function6
jvm6
parser-combinators6

Programming languages (7)

JavaCSSSCSSTeXHaskellHTMLPython

Github contributions (5)

github-logo-circle
ltbinsbe/uu-cco

Feb 2016 - Jun 2021

Tools for the CCO (Compiler Construction) course at the UU (Utrecht University)
Contributions:2 PRs, 5 pushes, 2 branches in 5 years 5 months
compilerutrecht-universitycompiler-construction
plancomps/funcons-tools

Mar 2021 - Jan 2022

Contributions:23 commits, 25 pushes, 6 branches 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.
Request Free Trial