I鈥檓 Niek Mulleners (he/him), a PhD candidate at Utrecht 木瓜福利影视. 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