Difference between revisions of "Ruud Koot"

From Ruud Koot
Jump to: navigation, search
m (Protected "Ruud Koot": High traffic page ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading])
(Research)
Line 8: Line 8:
 
* [http://www.staff.science.uu.nl/~0422819/tbea/ Type-based Exception Analysis]
 
* [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.
 
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.
 
* 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.
  

Revision as of 14:28, 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.

Projects

Publications

Submitted for review

Published

Awards

Teaching

Committees

Portfolio

Panoramic photography

Panorama view from the dome of the St. Peter's Basilica.jpg

Contact information

Qrcode.png
Office  : BBG-565
Email  : inbox@ruudkoot.nl
Phone  : +31 6 23024223
PGP/GPG  : 6325 1BB2 FB51 B9F8 1D75 5299 A1F9 C757 0B1F 592A
Tor  : ruudkootx2pi5tbg.onion
Ruud-koot.jpg