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
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)