Tom Schrijvers
Member at KU Leuven
Antwerp Metropolitan Area Belgium
Summary
👤
Senior🎓
Top SchoolTom Schrijvers is a programming language researcher and professor with 19 years of experience specializing in declarative paradigms—constraint, logic and functional programming—and expertise in type systems and abstract interpretation. He leads and contributes to academic and applied projects at KU Leuven and eTeacher, and previously headed the Programming Languages group at Ghent University. His work spans Haskell, Prolog and Constraint Handling Rules, with a strong track record in compilers and language design grounded in formal methods. Tom combines deep theoretical insight with practical implementations, informed by postdoc and visiting positions at Cambridge and Microsoft Research. Colleagues value his ability to translate rigorous research into robust tooling and curricula that influence both students and production systems. Based in the Antwerp region, he brings an uncommon blend of long-term academic leadership and hands-on language engineering.
19 years of coding experience
5 years of employment as a software developer
master, computer science, engineering, master, computer science, engineering at KU Leuven
Stackoverflow
56reputation
0reached
0answers
0questions
Github Skills (13)
python7
webassembly7
browser6
pyodide6
ssa3
x102
tla2
compiler1
programming-language1
garbage-collector1
jit1
haskell1
standard-library1
Programming languages (4)
Github contributions (5)
brunocdsoliveira/implicits
Jan 2017 - Dec 2018
Contributions:170 pushes in 1 year 10 months
tschrijv/Haskell-CourseNotes
Jul 2021 - Jun 2024
Contributions:4 pushes, 1 branch in 2 years 11 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.