Difference between revisions of "Ruud Koot"
From Ruud Koot
(→Contact information) |
|||
| Line 1: | Line 1: | ||
__NOTOC__ | __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. | I'm a Ph.D. candidate in computer science at Utrecht University. | ||
| Line 45: | Line 46: | ||
| Tor || : [http://ruudkootx2pi5tbg.onion ruudkootx2pi5tbg.onion] | | 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]]</div> | ||
| + | </div> | ||
| + | </div> | ||
Revision as of 11:10, 18 October 2015
I'm a Ph.D. candidate in computer science at Utrecht University.
Research
I do research on the NWO-funded project Higher-ranked Polyvariance Explored (612.001.120) under the supervision of Jurriaan Hage and Johan Jeuring.
Projects
Publications
- Ruud Koot & Jurriaan Hage. “Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics” (Appendix). PEPM '15.
Awards
- Silver medal at ICFP '14 ACM Student Research Competition (graduate category) for poster and presentation on Higher-ranked Exception Types.
Teaching
Committees
- 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
Portfolio
Panoramic photography
Contact information
| Office | : BBG-565 |
| : inbox@ruudkoot.nl | |
| Phone | : +31 6 23024223 |
| PGP/GPG | : 6325 1BB2 FB51 B9F8 1D75 5299 A1F9 C757 0B1F 592A |
| Tor | : ruudkootx2pi5tbg.onion |
