Ik ben Niek Mulleners (hij/hem), een promovendus aan Universiteit Utrecht. Ik doe onderzoek naar technieken voor het analyseren van programma's en het geven van geautomatiseerde feedback. Ik ben geïnteresseerd in type theorie, formele verificiatie, programma synthese en de realiseerbaarheid van programma's.
Links