@foxy
0) Netherlands
1) 4 years, assumes Master's
2) 0*
3) 0
* We do need 45 "graduate school credits". These are split into: 15 credits for things like writing and presentation courses where 1 credit is basically a full day course with some homework, 15 credits for summer schools where 1 credit is one day of a summer school, and 15 "learning on the job" credits which you get for supervising students, giving a guest lecture, writing a paper, etc.
Jaro Reinders
@jaror@social.edu.nl
PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda. I'm also a #Haskell enthusiast, #GHC contributor, and a member of the GHC Steering Committee and the Core Libraries Committee. Other than that I'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.
social.edu.nl
Jaro Reinders
@jaror@social.edu.nl
PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda. I'm also a #Haskell enthusiast, #GHC contributor, and a member of the GHC Steering Committee and the Core Libraries Committee. Other than that I'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.
social.edu.nl
@jaror@social.edu.nl
·
Mar 23, 2026
2
0
0
Loading comments...