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
- Reachability Logic for Low-Level Programs
- Nico Naus, Freek Verbeek, Marc Schoolderman and Binoy Ravindran
- Creating Interactive Visualizations of TopHat Programs
- Mark Gerarts, Marc de Hoog, Nico Naus and Tim Steenvoorden. Accepted for presentation at TFP'22.
- 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
- Creating Interactive Visualizations of TopHat Programs
- TFP 2022.
- 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
- International Support Chair at VTPA (January 2022 - present)
- VTPA supports all postdocs at Virginia Tech with social events, development opportunities and individual support. As a board member, I represent and support international postdocs at VT.
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".