I’m Niek Mulleners (he/him), a PhD candidate at Utrecht University. In my research, I investigate techniques to analyze programs (in development) and give automated feedback. I am interested in type theory, formal verification, program synthesis, and the realizability of programs.
Links