Difference between revisions of "Ruud Koot"
From Ruud Koot
(→Contact information) |
(→Publications) |
||
(41 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | __NOTOC__ | + | __NOTOC__<div style="width: 100%;"><div style="width: 78%; float: left; overflow: wrap; margin-right: 2%;">I'm a Ph.D. candidate in computer science at Utrecht University. |
− | |||
− | I'm a Ph.D. candidate in computer science at Utrecht University. | ||
== Research == | == 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]. | + | I do research on the <abbr title="Netherlands Organisation for Scientific Research">NWO</abbr>-funded project ''Higher-ranked Polyvariance Explored'' ([http://www.nwo.nl/en/research-and-results/research-projects/i/66/8666.html 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]. |
− | === | + | == Publications == |
− | * [ | + | === In preparation === |
− | * [ | + | * Ruud Koot. “[[Media:Higher-ranked_Exception_Types.pdf|Higher-ranked Exception Types]]”. |
+ | <!-- === Submitted for review === --> | ||
+ | === Published === | ||
+ | * Ruud Koot & Jurriaan Hage. “[[Media:Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics.pdf|Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics]]”. <abbr title="ACM SIGPLAN Workshop on | ||
+ | Partial Evaluation and Program Manipulation 2015">PEPM 2015</abbr>. | ||
− | + | == Awards == | |
− | + | * Silver medal at <abbr title="ACM SIGPLAN International Conference on Functional Programming 2014">ICFP 2014</abbr> [http://src.acm.org/previouswinners.html ACM Student Research Competition] (graduate category) for [[Media:Higher-ranked Exception Types (ICFP 2014 poster).pdf|poster on higher-ranked exception types]]. | |
− | |||
− | |||
− | * Silver medal at ICFP | ||
== Teaching == | == Teaching == | ||
Line 25: | Line 24: | ||
* Member of the departmental [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 | ||
* Member of the local organization committee of [http://foswiki.cs.uu.nl/foswiki/TFP2014/WebHome Trends in Functional Programming 2014] | * Member of the local organization committee of [http://foswiki.cs.uu.nl/foswiki/TFP2014/WebHome Trends in Functional Programming 2014] | ||
+ | == Portfolio == | ||
+ | === Panoramic photography === | ||
+ | <div class="Panorama" style="height: auto;"> | ||
+ | [[File:Panorama view from the dome of the St. Peter's Basilica.jpg|frameless|2000px]] | ||
+ | </div> | ||
== Contact information == | == Contact information == | ||
− | + | [[File:Qrcode.png|right]] | |
− | + | {| | |
− | + | |- | |
− | + | | Office || : BBG-565 | |
+ | |- | ||
+ | | Email || : [mailto:inbox@ruudkoot.nl inbox@ruudkoot.nl] | ||
+ | |- | ||
+ | | Phone || : [tel:+31-6-23024223 +31 6 23024223] | ||
+ | |- | ||
+ | | PGP/GPG || : [https://pgp.mit.edu/pks/lookup?search=0x63251bb2fb51b9f81d755299a1f9c7570b1f592a&op=vindex&fingerprint=on 6325 1BB2 FB51 B9F8 1D75 5299 A1F9 C757 0B1F 592A] | ||
+ | |- | ||
+ | | Tor || : [http://ruudkootx2pi5tbg.onion ruudkootx2pi5tbg.onion] | ||
+ | |} | ||
+ | </div> | ||
+ | <div style="width: 20%; float: left;"> | ||
+ | <div class="Panorama" style="width: auto;">[[File:Ruud-koot.jpg|1000px|frameless]]</div> | ||
+ | </div> | ||
+ | </div> |
Revision as of 18:33, 23 May 2016
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.
Publications
In preparation
- Ruud Koot. “Higher-ranked Exception Types”.
Published
- Ruud Koot & Jurriaan Hage. “Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics”. PEPM 2015.
Awards
- Silver medal at ICFP 2014 ACM Student Research Competition (graduate category) for poster 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
- Member of the local organization committee of Trends in Functional Programming 2014
Portfolio
Panoramic photography
Contact information
Office | : BBG-565 |
: inbox@ruudkoot.nl | |
Phone | : +31 6 23024223 |
PGP/GPG | : 6325 1BB2 FB51 B9F8 1D75 5299 A1F9 C757 0B1F 592A |
Tor | : ruudkootx2pi5tbg.onion |