Bio

Currently I am a PostDoc researcher at Open Univeristy of The Netherlands.
I have completed a Bachelor degree in Computer Science and a Masters degree in Programming Technology at Utrecht University. As part of an Erasmus exchange, I have written my master thesis at Freiburg University. After my stay in Freiburg, I came back to Utrecht University to work as a PhD Candidate on the iTasks project. My thesis is currently being reviewed for defence.

Publications

Papers

Generating next step hints for task-oriented programs using symbolic execution
Nico Naus and Tim Steenvoorden. Accepted for publication at TFP'20.
A symbolic execution semantics for TopHat
Nico Naus, Tim Steenvoorden and Markus Klinik. Accepted for publication at IFL'19.
TopHat: A formal foundation for task-oriented programming
Tim Steenvoorden, Nico Naus and Markus Klinik. Published at PPDP'19.
Use expert knowledge instead of data - generating hints for Hour of Code exercises -
Milo Buwalda, Johan Jeuring and Nico Naus. Published at L@S2018.
Building a generic feedback system for rule-based problems
Nico Naus and Johan Jeuring. Published at TFP 2016.
Dynamic Flow Analysis for JavaScript
Nico Naus and Peter Thiemann. Published at TFP 2016.

Master Thesis

Dynamic type inference for JavaScript
Supervisors: Peter Thiemann, Atze Dijkstra, Johan Jeuring

Repositories

symbolic-tophat-haskell
Assistive and Symbolic TopHat implementation in Haskell.
tophat-haskell
TopHat implementation in Haskell.
Dynamic-Flow-Analysis-for-JavaScript
Proof of concept implementation of a dynamic flow analysis for JavaScript, based on the publication with the same title.
rule-tree-semantics
Proof of concept implementation of a multi-user generic feedback system for rule based problems, in Haskell.
iTasks-feedback
Proof of concept implementation of a generic feedback system for rule based problems, in Clean.

Talks

Generating next step hints for task oriented programs using symbolic execution
TFP 2020
A symbolic execution semantics for TopHat
IFL'19
Multi-user rule based problem solving
Oregon Programming Languages Summer School 2017
Building a generic end-user feedback system for iTasks
Institute for Programming research and Algorithmics Fall Days 2016
Using DSLs to help people solve rule-based problems
TFP 2016
Dynamic Flow Analysis for JavaScript
TFP 2016

Teaching

2018/19
Modelleren en syteemontwikkeling
2017/18
Modelleren en systeemontwikkeling
Informatica introductieproject
2016/17
Modelleren en systeemontwikkeling
Informatica introductieproject
2015/16
Modelleren en systeemontwikkeling
Webtechnologie

Other Activities

Member of the PhD Council of Institute for Programming research and Algorithmics
The PhD Council of IPA advises on the education and research programme of the IPA national research school. More information can be found at win.tue.nl/ipa

Past Activities

University Council Member for UPP (September 2017 - September 2019)
PhD Network Utrecht representative (June 2017 - November 2019)
Member of the PhD Council of the Graduate School of Natural Sciences (October 2015 - December 2019)