Bio

Currently I am a PhD Candidate in the Software Technology Group at Utrecht University.
I have completed both my Bachelor and Master degree at Utrecht.

Publications

Papers

Building a generic feedback system for rule-based problems
Nico Naus and Johan Jeuring. Accepted for publication at TFP 2016.
Dynamic Flow Analysis for JavaScript
Nico Naus and Peter Thiemann. Accepted for publication at TFP 2016.

Master Thesis

Dynamic type inference for JavaScript
Supervisors: Prof. Dr. P. Thiemann, Dr. A. Dijkstra, Prof. Dr. J.T. Jeuring

Talks

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. Draft paper
Dynamic Flow Analysis for JavaScript
TFP 2016. Draft paper

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
Member of the PhD Council of the Graduate School of Natural Sciences
The PhD Council of the Graduate School of Natural Sciences aims to represent all PhD Candidates in Natural Sciences at the Utrecht University. It formed by voluntary members form all the intitutes that make up the Graduate School of Natural Sciences. I represent the Institute of Information and Computer Sciences (URICS). More information can be found at gsns-pc.science.uu.nl
Member of the User Committee of the University Facilities Centre
The Facilities Center (FSC) is responsible for providing facility services at Utrecht University. To improve their services, they initatied a User Committee in 2013. Ever since it was founded, I have been a member of this committee.

Contact

Office
Buys Ballot Laboratory, office 569
Princetonplein 5
3584 CC Utrecht
The Netherlands
Mail
PO Box 80.089
3508 TB Utrecht
The Netherlands
E-Mail
n.naus@uu.nl
Social Media
LinkedIn