Difference between revisions of "Ruud Koot"
From Ruud Koot
| 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] | ||
| − | == | + | == 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 | + | * 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] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Revision as of 11:17, 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
Committees
- Member of the Graduate School of Natural Sciences Ph.D. Council
- Member of the departmental 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
