Difference between revisions of "Ruud Koot"

From Ruud Koot
Jump to: navigation, search
(Publications)
 
(9 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%;">Hello there!
 
 
== 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|Panorama view from the dome of the St. Peter's Basilica]]
 
</div>
 
</div>
  
 
== Contact information ==
 
== Contact information ==
[[File:Qrcode.png|right]]
+
[[File:Qrcode.png|right|QR code]]
 
{|
 
{|
|-
 
| Office  || : BBG-565
 
 
|-
 
|-
 
| Email  || : [mailto:inbox@ruudkoot.nl inbox@ruudkoot.nl]
 
| Email  || : [mailto:inbox@ruudkoot.nl inbox@ruudkoot.nl]
Line 46: Line 24:
 
</div>
 
</div>
 
<div style="width: 20%; float: left;">
 
<div style="width: 20%; float: left;">
<div class="Panorama" style="width: auto;">[[File:Ruud-koot.jpg|1000px|frameless]]</div>
+
<div class="Panorama" style="width: auto;">[[File:Ruud-koot.jpg|1000px|frameless|Ruud Koot]]</div>
 
</div>
 
</div>
 
</div>
 
</div>

Latest revision as of 17:28, 4 April 2021

Hello there!

Publications

Photography

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

Contact information

QR code
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