Difference between revisions of "Ruud Koot"

From Ruud Koot
Jump to: navigation, search
(→‎Publications)
Line 1: Line 1:
−
__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.
+
__NOTOC__<div style="width: 100%;"><div style="width: 78%; float: left; overflow: wrap; margin-right: 2%;">Hi!
−
 
 
−
== Research ==
 
−
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 ==
 
== 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
 
* 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>.
 
Partial Evaluation and Program Manipulation 2015">PEPM&nbsp;2015</abbr>.
  
−
== Awards ==
+
== Photography ==
−
* 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]].
 
−
 
 
−
== Teaching ==
 
−
* [http://www.cs.uu.nl/wiki/USCS/WebHome Utrecht Summer School on Applied Functional Programming]
 
−
* [http://www.cs.uu.nl/education/vak.php?vak=INFOFP&jaar=2014 Functional Programming]
 
−
* [http://www.cs.uu.nl/education/vak.php?vak=INFODS&jaar=2014 Data Structures]
 
−
 
 
−
== Committees ==
 
−
* Member of the [https://gsns-pc.science.uu.nl/ Graduate School of Natural Sciences Ph.D. Council]
 
−
* 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]
 
−
== 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 33: Line 13:
 
[[File:Qrcode.png|right]]
 
[[File:Qrcode.png|right]]
 
{|
 
{|
−
|-
 
−
| Office  || : BBG-565
 
 
|-
 
|-
 
| Email  || : [mailto:inbox@ruudkoot.nl inbox@ruudkoot.nl]
 
| Email  || : [mailto:inbox@ruudkoot.nl inbox@ruudkoot.nl]

Revision as of 17:00, 21 January 2018

Hi!

Publications

Photography

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

Contact information

Qrcode.png
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
Retrieved from "https://ruudkoot.nl/w/index.php?title=Ruud_Koot&oldid=211"