Difference between revisions of "Ruud Koot"
From Ruud Koot
| Line 1: | Line 1: | ||
__NOTOC__ | __NOTOC__ | ||
| + | [[File:Ruud-koot.jpg|175px|right]] | ||
I'm a Ph.D. candidate in computer science at Utrecht University. | I'm a Ph.D. candidate in computer science at Utrecht University. | ||
| Line 16: | Line 17: | ||
== Teaching == | == Teaching == | ||
| − | * Utrecht Summer School on Applied Functional Programming | + | * [http://www.cs.uu.nl/wiki/USCS/WebHome Utrecht Summer School on Applied Functional Programming] |
| − | * Functional Programming | + | * [http://www.cs.uu.nl/education/vak.php?vak=INFODS&jaar=2013 Functional Programming] |
| − | * Data Structures | + | * [http://www.cs.uu.nl/education/vak.php?vak=INFOFP&jaar=2013 Data Structures] |
== Other activities == | == Other activities == | ||
Revision as of 10:54, 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
- Ruud Koot & Jurriaan Hage. “Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics” (Appendix). PEPM '15.
Awards
- Silver medal at ICFP '14 ACM Student Research Competition (graduate category) for poster and presentation on Higher-ranked Exception Types.
Teaching
Other activities
- Member of the Graduate School of Natural Sciences Ph.D. Council
- Member of the departemental participation council and library committee
Contact information
- Office: BBG-565
- Phone: +31 6 23024223
- Email: inbox@ruudkoot.nl
- PGP/GPG: 6325 1BB2 FB51 B9F8 1D75 5299 A1F9 C757 0B1F 592A
