Difference between revisions of "Ruud Koot"

Revision as of 22:09, 16 August 2015

I'm a Ph.D. candidate in computer science at Utrecht University.

I do research on the NWO-funded project Higher-ranked Polyvariance Explored (612.001.120) under the supervision of Jurriaan Hage and Johan Jeuring.

Silver medal at ICFP '14 ACM Student Research Competition (graduate category) for poster and presentation on Higher-ranked Exception Types.

Member of the Graduate School of Natural Sciences Ph.D. Council
Member of the departmental participation council and library committee
Member of the local organization committee of Trends in Functional Programming 2014

@@ Line 32: / Line 32: @@
 == Contact information ==
-* Office: BBG-565
+{|
-* Email: [mailto:inbox@ruudkoot.nl inbox@ruudkoot.nl]
+|-
-* Phone: [tel:+31-6-23024223 +31 6 23024223]
+| Office  || : BBG-565
-* 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]
+| 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]
+|}