Difference between revisions of "Ruud Koot"

From Ruud Koot
Jump to: navigation, search
(Portfolio)
 
(44 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%;">Hello there!
[[File:Ruud-koot.jpg|175px|right]]
 
I'm a Ph.D. candidate in computer science at Utrecht University.
 
  
== 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]). PEPM '15.
 
 
 
=== 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 ==
 
* [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 ==
 
=== Panorama 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 ==
* Office: BBG-565
+
[[File:Qrcode.png|right|QR code]]
* 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]
+
| 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|Ruud Koot]]</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