Difference between revisions of "Ruud Koot"

From Ruud Koot
Jump to: navigation, search
(Projects)
(13 intermediate revisions by the same user not shown)
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'' (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 ==
=== Submitted for review ===
+
* 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. “[[Media:Higher-ranked_Exception_Types.pdf|Higher-ranked Exception Types]]”. Submitted to <abbr title="ACM SIGPLAN International Conference on Functional Programming">ICFP</abbr> 2016.
+
Partial Evaluation and Program Manipulation 2015">PEPM&nbsp;2015</abbr>.
=== Published ===
 
* Ruud Koot & Jurriaan Hage (2015). “[[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">PEPM</abbr>&nbsp;2015.
 
 
 
== Awards ==
 
* Silver medal at <abbr title="ACM SIGPLAN International Conference on Functional Programming">ICFP</abbr>&nbsp;2014 [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 ==
 
* [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 ==
+
== Photography ==
* 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 32: 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