Difference between revisions of "Ruud Koot"
From Ruud Koot
(→External links) |
|||
| Line 1: | Line 1: | ||
| − | + | __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 == | ||
| − | |||
* [https://github.com/ruudkoot Github] | * [https://github.com/ruudkoot Github] | ||
| − | |||
* [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
- 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
- Utrecht Summer School on Applied Functional Programming
- Functional Programming
- Data Structures
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
