Difference between revisions of "Ruud Koot"

From Ruud Koot
Jump to: navigation, search
Line 11: Line 11:
  
 
=== 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]). PEPM '15.  
+
* 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 ===
 
=== Awards ===
Line 21: Line 21:
 
* [http://www.cs.uu.nl/education/vak.php?vak=INFOFP&jaar=2013 Data Structures]
 
* [http://www.cs.uu.nl/education/vak.php?vak=INFOFP&jaar=2013 Data Structures]
  
== Other activities ==
+
== Committees ==
 
* Member of the [https://gsns-pc.science.uu.nl/ Graduate School of Natural Sciences Ph.D. Council]
 
* 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
+
* Member of the departmental [http://www.cs.uu.nl/docs/committees/odc/ participation council] and library committee
  
 
== Contact information ==
 
== Contact information ==
Line 30: Line 30:
 
* Email: [mailto:inbox@ruudkoot.nl inbox@ruudkoot.nl]
 
* 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]
 
* 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 ==
 
* [https://github.com/ruudkoot Github]
 
* [https://www.linkedin.com/in/ruudkoot LinkedIn]
 
* [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]
 

Revision as of 11:17, 11 March 2015

Ruud-koot.jpg

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

Committees

Contact information