Difference between revisions of "Ruud Koot"

From Ruud Koot
Jump to: navigation, search
(Committees)
(Publications)
(35 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.
[[File:Ruud-koot.jpg|175px|right]]
 
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].
  
=== Projects ===
+
== Publications ==
* [http://www.staff.science.uu.nl/~0422819/hret/ Higher-ranked Exception Types]
+
=== In preparation ===  
* [http://www.staff.science.uu.nl/~0422819/tbea/ Type-based Exception Analysis]
+
* 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&nbsp;2015</abbr>.
  
=== Publications ===
+
== Awards ==
* 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.
+
* Silver medal at <abbr title="ACM SIGPLAN International Conference on Functional Programming 2014">ICFP&nbsp;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]].
 
 
=== 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 ==
 
== Teaching ==
Line 26: Line 25:
 
* 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 ==
 
== Portfolio ==
 +
=== Panoramic photography ===
 
<div class="Panorama" style="height: auto;">
 
<div class="Panorama" style="height: auto;">
 
[[File:Panorama view from the dome of the St. Peter's Basilica.jpg|frameless|2000px]]
 
[[File:Panorama view from the dome of the St. Peter's Basilica.jpg|frameless|2000px]]
Line 31: Line 31:
  
 
== Contact information ==
 
== Contact information ==
* Office: BBG-565
+
[[File:Qrcode.png|right]]
* Phone: [tel:+31-6-23024223 +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]
+
| 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 17: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

Published

Awards

Teaching

Committees

Portfolio

Panoramic photography

Panorama view from the dome of the St. Peter's Basilica.jpg

Contact information

Qrcode.png
Office  : BBG-565
Email  : inbox@ruudkoot.nl
Phone  : +31 6 23024223
PGP/GPG  : 6325 1BB2 FB51 B9F8 1D75 5299 A1F9 C757 0B1F 592A
Tor  : ruudkootx2pi5tbg.onion
Ruud-koot.jpg