Difference between revisions of "Ruud Koot"

Revision as of 14:28, 2 March 2016

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

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

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

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

@@ Line 8: / Line 8: @@
 * [http://www.staff.science.uu.nl/~0422819/tbea/ Type-based Exception Analysis]
-=== Publications ===
+== Publications ==
-* Ruud Koot & Jurriaan Hage. [http://www.staff.science.uu.nl/~0422819/tbea/pepm2015.pdf “Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics”] ([http://www.staff.science.uu.nl/~0422819/tbea/pepm2015-with-appendix.pdf Appendix]). <abbr title="ACM SIGPLAN Workshop on
+=== Submitted for review ===
+* Ruud Koot. “[[Media:Higher-ranked_Exception_Types.pdf|Higher-ranked Exception Types]]”. Submitted to <abbr title="ACM SIGPLAN International Conference on Functional Programming">ICFP</abbr> 2016.
+=== Published ===
+* Ruud Koot & Jurriaan Hage (2015). “[[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>&nbsp;2015.
-=== Awards ===
+== Awards ==
 * Silver medal at <abbr title="ACM SIGPLAN International Conference on Functional Programming">ICFP</abbr>&nbsp;2014 [http://src.acm.org/winners.html ACM Student Research Competition] (graduate category) for [http://www.staff.science.uu.nl/~0422819/hret/poster-icfp2014.pdf poster] and presentation on Higher-ranked Exception Types.