Bio

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. Since then, I have worked at Open University of The Netherlands on formal verification of low level languages.
Currently I am continuing this project as a PostDoc researcher at Virginia Tech.

Publications

Papers

Creating Interactive Visualizations of TopHat Programs
Mark Gerarts, Marc de Hoog, Nico Naus and Tim Steenvoorden. Accepted for presentation at IFL'21.
End-user feedback in multi-user workflow systems
Nico Naus and Johan Jeuring. Published at IFL'20.
Generating next step hints for task-oriented programs using symbolic execution
Nico Naus and Tim Steenvoorden. Published at TFP'20.
A symbolic execution semantics for TopHat
Nico Naus, Tim Steenvoorden and Markus Klinik. Published 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.

Theses

PhD Thesis Assisting End Users in Workflow Systems
Promotor: Johan Jeuring
Masters 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

End-user feedback in multi-user workflow systems
IFL 2020
Generating next step hints for task oriented programs using symbolic execution
Lambda Days - 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

2021/22
Functional Programming
2020/21
Functional Programming
2018/19
Modelleren en systeemontwikkeling
2017/18
Modelleren en systeemontwikkeling
Informatica introductieproject
2016/17
Modelleren en systeemontwikkeling
Informatica introductieproject
2015/16
Modelleren en systeemontwikkeling
Webtechnologie

Other Activities

Past Activities

Member of the PhD Council of Institute for Programming research and Algorithmics
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)

Hobbies

Music
I'm a fan of 90's electronic music. I have quite a substantial record collection, and also sell second hand records and CD's. Discogs profile
Cars
I'm not an expert on everything that has to do with cars, but have a specific interest in Japanese retro cars, and Kei Cars. I actually own two Kei Cars, a Daihatsu Trevis (aka Mira Gino) and a Daihatsu Copen. I enjoy driving them, as well as tinkering with them. Copen World profile
Acting
I'm an actor in the photocomics of my boyfriend, Ype Driessen. I play a big role in his latest photographic novel "Het nadeel van de twijfel".