Difference between revisions of "Ruud Koot"
From Ruud Koot
(→Submitted for review) |
(→Published) |
||
| Line 10: | Line 10: | ||
=== Published === | === Published === | ||
* Ruud Koot & Jurriaan Hage. “[[Media:Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics.pdf|Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics]]”. <abbr title="ACM SIGPLAN Workshop on | * Ruud Koot & Jurriaan Hage. “[[Media:Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics.pdf|Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics]]”. <abbr title="ACM SIGPLAN Workshop on | ||
| − | Partial Evaluation and Program Manipulation">PEPM</abbr> | + | Partial Evaluation and Program Manipulation">PEPM 2015</abbr>. |
== Awards == | == Awards == | ||
Revision as of 15:44, 2 March 2016
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.
Publications
Submitted for review
- Ruud Koot. “Higher-ranked Exception Types”. Submitted to ICFP 2016.
Published
- Ruud Koot & Jurriaan Hage. “Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics”. PEPM 2015.
Awards
- Silver medal at ICFP 2014 ACM Student Research Competition (graduate category) for poster on higher-ranked exception types.
Teaching
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
| Office | : BBG-565 |
| : inbox@ruudkoot.nl | |
| Phone | : +31 6 23024223 |
| PGP/GPG | : 6325 1BB2 FB51 B9F8 1D75 5299 A1F9 C757 0B1F 592A |
| Tor | : ruudkootx2pi5tbg.onion |
