Difference between revisions of "Ruud Koot"

From Ruud Koot
Jump to: navigation, search
(External links)
Line 1: Line 1:
C'est moi.
+
__NOTOC__
 +
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 [http://foswiki.cs.uu.nl/foswiki/Hage/WebHome Jurriaan Hage] and [http://www.staff.science.uu.nl/~jeuri101/homepage/ Johan Jeuring].
 +
 
 +
=== Projects ===
 +
* [http://www.staff.science.uu.nl/~0422819/hret/ Higher-ranked Exception Types]
 +
* [http://www.staff.science.uu.nl/~0422819/tbea/ Type-based Exception Analysis]
 +
 
 +
=== 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]). PEPM '15.
 +
 
 +
=== Awards ===
 +
* Silver medal at ICFP '14 [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.
 +
 
 +
== Teaching ==
 +
* Utrecht Summer School on Applied Functional Programming
 +
* Functional Programming
 +
* Data Structures
 +
 
 +
== Other activities ==
 +
* Member of the [https://gsns-pc.science.uu.nl/ Graduate School of Natural Sciences Ph.D. Council]
 +
* Member of the departemental [http://www.cs.uu.nl/docs/committees/odc/ participation council] and library committee
 +
 
 +
== Contact information ==
 +
* Office: BBG-565
 +
* Phone: +31 6 23024223
 +
* Email: [mailto:inbox@ruudkoot.nl inbox@ruudkoot.nl]
 +
* PGP/GPG: [https://pgp.mit.edu/pks/lookup?search=0x63251bb2fb51b9f81d755299a1f9c7570b1f592a&op=vindex&fingerprint=on 6325 1BB2 FB51 B9F8 1D75 5299 A1F9 C757 0B1F 592A]
  
 
== External links ==
 
== External links ==
* [http://www.staff.science.uu.nl/~0422819/ Academic homepage]
 
 
* [https://github.com/ruudkoot Github]
 
* [https://github.com/ruudkoot Github]
* [http://www.last.fm/user/ruudkoot Last.fm]
 
 
* [https://www.linkedin.com/in/ruudkoot LinkedIn]
 
* [https://www.linkedin.com/in/ruudkoot LinkedIn]
 
* [https://en.wikipedia.org/wiki/User:Ruud_Koot Wikipedia]
 
* [https://en.wikipedia.org/wiki/User:Ruud_Koot Wikipedia]
 +
* [http://www.last.fm/user/ruudkoot Last.fm]
 
* [http://www.informatik.uni-trier.de/~ley/pers/hd/k/Koot:Ruud DBLP]
 
* [http://www.informatik.uni-trier.de/~ley/pers/hd/k/Koot:Ruud DBLP]

Revision as of 10:45, 11 March 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

Publications

Awards

Teaching

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

Other activities

Contact information

External links