Difference between revisions of "Ruud Koot"

From Ruud Koot
Jump to: navigation, search
(Publications)
 
(32 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 ==
+
== Publications ==
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].
+
* 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>.
  
=== Projects ===
+
== Photography ==
* [http://www.staff.science.uu.nl/~0422819/hret/ Higher-ranked Exception Types]
 
* [http://www.staff.science.uu.nl/~0422819/tbea/ Type-based Exception Analysis]
 
 
 
=== Publications ===
 
* 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]). <abbr title="ACM SIGPLAN Workshop on
 
Partial Evaluation and Program Manipulation">PEPM</abbr> '15.
 
 
 
=== Awards ===
 
* Silver medal at <abbr title="ACM SIGPLAN International Conference on Functional Programming">ICFP</abbr> '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 ==
 
* [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