Difference between revisions of "Ruud Koot"

Revision as of 01:07, 1 September 2015

I'm a Ph.D. candidate in computer science at Utrecht University.

Research

I do research on the NWO-funded project Higher-ranked Polyvariance Explored (612.001.120) under the supervision of Jurriaan Hage and Johan Jeuring.

Projects

• Higher-ranked Exception Types
• Type-based Exception Analysis

Publications

• Ruud Koot & Jurriaan Hage. “Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics” (Appendix). PEPM '15.

Awards

• Silver medal at ICFP '14 ACM Student Research Competition (graduate category) for poster and presentation on Higher-ranked Exception Types.

Teaching

• Utrecht Summer School on Applied Functional Programming
• Functional Programming
• Data Structures

Committees

• Member of the Graduate School of Natural Sciences Ph.D. Council
• Member of the departmental participation council and library committee
• Member of the local organization committee of Trends in Functional Programming 2014

Portfolio

Panoramic photography

Contact information