From: Mart Lubbers Date: Wed, 30 Oct 2024 07:52:37 +0000 (+0000) Subject: clean up, add photo's, etc X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=6d4a449d0c1bcb0c4f82e5adc429b6d91b8125ba;p=martlubbers.net.git clean up, add photo's, etc --- diff --git a/_data/snippets.yml b/_data/snippets.yml index 9b53bf0..cfbeade 100644 --- a/_data/snippets.yml +++ b/_data/snippets.yml @@ -1,7 +1,7 @@ title: en: Mart Lubbers' Website nl: Mart Lubbers' Webpagina - nds: Mart Lubbers zien Webstie + nds: Mart Lubbers ziene Webstie languages: en: value: en @@ -19,7 +19,7 @@ top: backto: en: Back to nl: Terug naar - nds: Truw noar + nds: Terug noar home: en: home nl: thuis @@ -27,11 +27,11 @@ home: languagename: en: Languages nl: Talen - nds: Sproaken + nds: Sproakes currentfunction: - en: Assistant professor at the Radboud University Nijmegen - nl: Universitair docent bij de Radboud Universiteit Nijmegen - nds: Oeniversiteets docent an den Radboud Oeniversiteet Nimwegen + en: Assistant professor at the Radboud University + nl: Universitair docent aan de Radboud Universiteit + nds: Oeniversiteets docent an de Radboud Oeniversiteet fingerprint: en: Fingerprint nl: Vingerafdruk @@ -51,13 +51,13 @@ footer: least ≥80x24 text mode in one of these web browsers.
Powered by Jekyll.' nl: ' - Geldige HTML 5 en geöptimaliseerd voor schermlezers..
+ Geldige HTML 5 en geöptimaliseerd voor schermlezers.
Het best te bekijken met een schermresolutie van tenminste ≥640x480 of tenminste ≥80x24 tekstmodus in een van deze webbrowsers.
Gedreven door Jekyll (linkt naar een Engelse site).' nds: ' - Gooien HTML 5 en optimaliseerd veur schearmleazers..
- Doe kaans dit ''t beste bekieken met nen schermresolutie van mear as ≥640x480 of + Sekure HTML 5 dee of optimaliseerd is veur schearmleazers.
+ Dow kaans dit ''t beste bekieken met ne schermresolutie van mear as ≥640x480 of mear as ≥80x24 in tekstmodus in een van dizze webbrowsers (geet noar ne Nederlaandsen webstie).
Maakt deur Jekyll (geet noar ne Engelse webstie).' diff --git a/_posts/nds/2024-09-02-zoonder-diej.md b/_posts/nds/2024-09-02-zoonder-diej.md new file mode 100644 index 0000000..933af59 --- /dev/null +++ b/_posts/nds/2024-09-02-zoonder-diej.md @@ -0,0 +1,41 @@ +--- +layout: post +title: Zoonder diej (ohne dich) +date: 2024-09-02 +language: nds +language_reference: zoonderdiej +published: true +--- + +{% include toc.html %} + +### Zoonder diej (2024-04-25) + +ik bin krek in de dannen west\\ +doar had ik diej ja zeen veur 't lest\\ +'n oavend lig as ne dekken op 't laand\\ +en op de pea noar 'n bos zien raand\\ +en 't wold steet ja zo zwat en zoar\\ +\\ +[bruw]\\ +pien he'k, joa pien\\ +en gen vöggel kleenkt doar woar\\ +\\ +[refrean]\\ +zoonder diej kan ik nich wean, zoonder diej\\ +met diej bin ik ok alleen, zoonder diej (zoonder diej)\\ +zoonder diej blief'k noar 'n klok turen, zoonder diej\\ +met diej vleegt veurbiej de uren, te hoap met diej.\\ +zoonder diej\\ +\\ +op 't tooghoalt wat in'n graven lech\\ +is 't stil en al 't leaven weg\\ +zölfs 't oademen valt miej ok a zwoar\\ +\\ +[bruw]\\ +\\ +[refrean]\\ +\\ +zoonder diej\\ +zoonder diej\\ +zoonder diej diff --git a/assets/p0-thumb.jpg b/assets/p0-thumb.jpg new file mode 100644 index 0000000..2ae4f3b Binary files /dev/null and b/assets/p0-thumb.jpg differ diff --git a/assets/p1-thumb.jpg b/assets/p1-thumb.jpg new file mode 100644 index 0000000..87140de Binary files /dev/null and b/assets/p1-thumb.jpg differ diff --git a/assets/p2-thumb.jpg b/assets/p2-thumb.jpg new file mode 100644 index 0000000..4b28c1e Binary files /dev/null and b/assets/p2-thumb.jpg differ diff --git a/assets/p3-thumb.jpg b/assets/p3-thumb.jpg new file mode 100644 index 0000000..e5e6a15 Binary files /dev/null and b/assets/p3-thumb.jpg differ diff --git a/assets/p4-thumb.jpg b/assets/p4-thumb.jpg new file mode 100644 index 0000000..e5e6a15 Binary files /dev/null and b/assets/p4-thumb.jpg differ diff --git a/assets/p5-thumb.jpg b/assets/p5-thumb.jpg new file mode 100644 index 0000000..e5e6a15 Binary files /dev/null and b/assets/p5-thumb.jpg differ diff --git a/assets/p5.jpg b/assets/p5.jpg new file mode 100644 index 0000000..d8a5271 Binary files /dev/null and b/assets/p5.jpg differ diff --git a/files/IFL_2024.ics b/files/IFL_2024.ics new file mode 100644 index 0000000..dbfd2c2 --- /dev/null +++ b/files/IFL_2024.ics @@ -0,0 +1,798 @@ +BEGIN:VCALENDAR +PRODID:-//Mozilla.org/NONSGML Mozilla Calendar V1.1//EN +VERSION:2.0 +BEGIN:VTIMEZONE +TZID:Europe/Amsterdam +X-TZINFO:Europe/Amsterdam[2024a] +BEGIN:STANDARD +TZOFFSETTO:+000000 +TZOFFSETFROM:+001730 +TZNAME:Europe/Amsterdam(STD) +DTSTART:18920501T001730 +RDATE:18920501T001730 +END:STANDARD +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19141108T000000 +RDATE:19141108T000000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+020000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19160501T000000 +RDATE:19160501T000000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+020000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19161001T010000 +RDATE:19161001T010000 +END:STANDARD +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+020000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19170917T030000 +RRULE:FREQ=YEARLY;BYMONTH=9;BYDAY=3MO;UNTIL=19180916T030000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+020000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19170416T020000 +RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=3MO;UNTIL=19180415T020000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+000000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19181111T120000 +RDATE:19181111T120000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19190301T230000 +RDATE:19190301T230000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+000000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19191005T000000 +RDATE:19191005T000000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19200214T230000 +RDATE:19200214T230000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+000000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19201024T000000 +RDATE:19201024T000000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19210314T230000 +RDATE:19210314T230000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+000000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19211026T000000 +RDATE:19211026T000000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19220325T230000 +RDATE:19220325T230000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+000000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19221008T000000 +RDATE:19221008T000000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19230421T230000 +RDATE:19230421T230000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19240329T230000 +RDATE:19240329T230000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19250404T230000 +RDATE:19250404T230000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19260417T230000 +RDATE:19260417T230000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+000000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19231007T000000 +RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=1SU;UNTIL=19271002T000000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19270409T230000 +RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=2SA;UNTIL=19280414T230000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19290421T020000 +RDATE:19290421T020000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19300413T020000 +RDATE:19300413T020000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19310419T020000 +RDATE:19310419T020000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19320403T020000 +RDATE:19320403T020000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+000000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19281007T030000 +RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=1SU;UNTIL=19321002T030000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19330326T020000 +RDATE:19330326T020000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+000000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19331008T030000 +RDATE:19331008T030000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19340408T020000 +RDATE:19340408T020000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19350331T020000 +RDATE:19350331T020000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19360419T020000 +RDATE:19360419T020000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19370404T020000 +RDATE:19370404T020000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19380327T020000 +RDATE:19380327T020000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+000000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19341007T030000 +RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=1SU;UNTIL=19381002T030000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19390416T020000 +RDATE:19390416T020000 +END:DAYLIGHT +BEGIN:DAYLIGHT +TZOFFSETTO:+010000 +TZOFFSETFROM:+000000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19400225T020000 +RDATE:19400225T020000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+000000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19391119T030000 +RDATE:19391119T030000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+020000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19400520T030000 +RDATE:19400520T030000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+020000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19421102T030000 +RDATE:19421102T030000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+020000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19430329T020000 +RDATE:19430329T020000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+020000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19431004T030000 +RDATE:19431004T030000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+020000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19440403T020000 +RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=1MO;UNTIL=19450402T020000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+020000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19440917T030000 +RRULE:FREQ=YEARLY;BYMONTH=9;BYDAY=3SU;UNTIL=19450916T030000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+020000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19460519T020000 +RDATE:19460519T020000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+020000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19461007T030000 +RDATE:19461007T030000 +END:STANDARD +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+020000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19770925T030000 +RDATE:19770925T030000 +END:STANDARD +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+020000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19781001T030000 +RDATE:19781001T030000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+020000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19770403T020000 +RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=1SU;UNTIL=19800406T020000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+020000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19790930T030000 +RRULE:FREQ=YEARLY;BYMONTH=9;BYDAY=-1SU;UNTIL=19950924T030000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+020000 +TZOFFSETFROM:+010000 +TZNAME:Europe/Amsterdam(DST) +DTSTART:19810329T020000 +RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU;UNTIL=19960331T020000 +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+020000 +TZNAME:Europe/Amsterdam(STD) +DTSTART:19961027T030000 +RDATE:19961027T030000 +END:STANDARD +BEGIN:DAYLIGHT +TZOFFSETTO:+020000 +TZOFFSETFROM:+010000 +TZNAME:(DST) +DTSTART:19970330T020000 +RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU +END:DAYLIGHT +BEGIN:STANDARD +TZOFFSETTO:+010000 +TZOFFSETFROM:+020000 +TZNAME:(STD) +DTSTART:19971026T030000 +RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU +END:STANDARD +END:VTIMEZONE +BEGIN:VEVENT +CREATED:20240821T073341Z +LAST-MODIFIED:20240821T073354Z +DTSTAMP:20240821T073354Z +UID:5cf0b4f6-7c4f-44e6-9733-cdbb6daea173 +SUMMARY:Close day 1 +DTSTART;TZID=Europe/Amsterdam:20240826T163000 +DTEND;TZID=Europe/Amsterdam:20240826T164500 +TRANSP:OPAQUE +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T073206Z +LAST-MODIFIED:20240821T074001Z +DTSTAMP:20240821T074001Z +UID:34bfb120-4a3b-42c0-8309-b6762e3e10f7 +SUMMARY:Lunch +DTSTART;TZID=Europe/Amsterdam:20240826T120000 +DTEND;TZID=Europe/Amsterdam:20240826T133000 +TRANSP:OPAQUE +LOCATION:Mercator I\, ground floor +SEQUENCE:1 +X-MOZ-GENERATION:1 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T073258Z +LAST-MODIFIED:20240821T074100Z +DTSTAMP:20240821T074100Z +UID:ea151e55-e840-4a02-893e-5cce22e6d7eb +SUMMARY:Coffee and Tea +DTSTART;TZID=Europe/Amsterdam:20240826T150000 +DTEND;TZID=Europe/Amsterdam:20240826T153000 +TRANSP:OPAQUE +LOCATION:Huygens building: zuidhal (south hall) +SEQUENCE:1 +X-MOZ-GENERATION:1 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T073058Z +LAST-MODIFIED:20240821T074109Z +DTSTAMP:20240821T074109Z +UID:43bd1d28-a6b0-4e0c-a066-00448971e421 +SUMMARY:Coffee and tea +DTSTART;TZID=Europe/Amsterdam:20240826T100000 +DTEND;TZID=Europe/Amsterdam:20240826T103000 +TRANSP:OPAQUE +LOCATION:Huygens building: zuidhal (south hall) +SEQUENCE:1 +X-MOZ-GENERATION:1 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T072723Z +LAST-MODIFIED:20240821T074120Z +DTSTAMP:20240821T074120Z +UID:fe0503b5-cf91-46da-9038-fceee689620e +SUMMARY:Welcome +DTSTART;TZID=Europe/Amsterdam:20240826T085500 +DTEND;TZID=Europe/Amsterdam:20240826T090000 +TRANSP:OPAQUE +LOCATION:Huygens building: HG00.303 +SEQUENCE:1 +X-MOZ-GENERATION:1 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T072440Z +LAST-MODIFIED:20240821T074412Z +DTSTAMP:20240821T074412Z +UID:b01999d2-1101-4974-8132-7ce1117f07fd +SUMMARY:Registration & Coffee andTea +DTSTART;TZID=Europe/Amsterdam:20240826T083000 +DTEND;TZID=Europe/Amsterdam:20240826T085500 +TRANSP:OPAQUE +LOCATION:Huygens building: main entrance +DESCRIPTION;ALTREP="data:text/html,%3Cbr%3E":\n +SEQUENCE:1 +X-MOZ-GENERATION:1 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T073221Z +LAST-MODIFIED:20240821T074735Z +DTSTAMP:20240821T074735Z +UID:5d9bef68-e21b-4a00-93a2-02f9bc402ca8 +SUMMARY:Steering Committee Meeting +DTSTART;TZID=Europe/Amsterdam:20240826T133000 +DTEND;TZID=Europe/Amsterdam:20240826T140000 +TRANSP:OPAQUE +LOCATION:Mercator I: M1 1.13 +SEQUENCE:2 +X-MOZ-GENERATION:2 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T074741Z +LAST-MODIFIED:20240821T074807Z +DTSTAMP:20240821T074807Z +UID:dfabddec-bf34-413b-a873-d8f691082967 +SUMMARY:Walk-in\, coffee and tea +DTSTART;TZID=Europe/Amsterdam:20240827T083000 +DTEND;TZID=Europe/Amsterdam:20240827T090000 +TRANSP:OPAQUE +LOCATION:Huygens building: zuidhal (south hall) +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T074916Z +LAST-MODIFIED:20240821T074943Z +DTSTAMP:20240821T074943Z +UID:2fbcb01c-37bb-4856-83b3-bd78e4d583f8 +SUMMARY:Coffee and tea +DTSTART;TZID=Europe/Amsterdam:20240827T103000 +DTEND;TZID=Europe/Amsterdam:20240827T110000 +TRANSP:OPAQUE +LOCATION:Huygens building: zuidhal (south hall) +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T075120Z +LAST-MODIFIED:20240821T075147Z +DTSTAMP:20240821T075147Z +UID:b87933c3-c108-4ebc-ae62-d5f31f05b3e0 +SUMMARY:Lunch +DTSTART;TZID=Europe/Amsterdam:20240827T120000 +DTEND;TZID=Europe/Amsterdam:20240827T131500 +TRANSP:OPAQUE +LOCATION:Mercator I: ground floor +SEQUENCE:2 +X-MOZ-GENERATION:2 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T075148Z +LAST-MODIFIED:20240821T075200Z +DTSTAMP:20240821T075200Z +UID:417d4e0f-e748-4362-8eae-a1df32f4abe9 +SUMMARY:Bus leaves for social event +DTSTART;TZID=Europe/Amsterdam:20240827T131500 +DTEND;TZID=Europe/Amsterdam:20240827T140000 +TRANSP:OPAQUE +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T075201Z +LAST-MODIFIED:20240821T075210Z +DTSTAMP:20240821T075210Z +UID:92bdf2ce-6383-412f-94cc-299c6998b366 +SUMMARY:Social Event +DTSTART;TZID=Europe/Amsterdam:20240827T140000 +DTEND;TZID=Europe/Amsterdam:20240827T210000 +TRANSP:OPAQUE +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T075214Z +LAST-MODIFIED:20240821T075225Z +DTSTAMP:20240821T075225Z +UID:ba7c7815-1029-48fd-8c8f-4ca0dcd4ae0d +SUMMARY:Back in Nijmegen +DTSTART;TZID=Europe/Amsterdam:20240827T210000 +DTEND;TZID=Europe/Amsterdam:20240827T211500 +TRANSP:OPAQUE +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T075228Z +LAST-MODIFIED:20240821T075248Z +DTSTAMP:20240821T075248Z +UID:965fb4fd-fdc4-43f9-9ed4-d718ab554724 +SUMMARY:Walk-in\, coffee and tea +DTSTART;TZID=Europe/Amsterdam:20240828T083000 +DTEND;TZID=Europe/Amsterdam:20240828T090000 +TRANSP:OPAQUE +LOCATION:Huygens building: zuidhal (south hall) +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T075250Z +LAST-MODIFIED:20240821T075311Z +DTSTAMP:20240821T075311Z +UID:ad9e6ed8-bd06-4687-acc7-3597cfaa2e3a +SUMMARY:Keynote 2: Wouter Swierstra — Programming with dependent types: b + eyond evaluating the simply typed lambda calculus +DTSTART;TZID=Europe/Amsterdam:20240828T090000 +DTEND;TZID=Europe/Amsterdam:20240828T100000 +TRANSP:OPAQUE +LOCATION:Huygens building: HG00.303 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T073026Z +LAST-MODIFIED:20240821T075321Z +DTSTAMP:20240821T075321Z +UID:9d2f46f3-3ba9-4088-b2d2-72249b9a17c8 +SUMMARY:Keynote 1: Edsko de Vries — The case for call-by-name +DTSTART;TZID=Europe/Amsterdam:20240826T090000 +DTEND;TZID=Europe/Amsterdam:20240826T100000 +TRANSP:OPAQUE +LOCATION:Huygens building: HG00.303 +DESCRIPTION;ALTREP="data:text/html,Lazy%20languages%2C%20such%20as%20Haskel + l%20and%20Clean%2C%20implement%20call-by-need%0Asemantics%3A%20arguments%20 + to%20functions%20are%20evaluated%20only%20if%20and%20when%20needed%2C%20but + %0Awill%20not%20be%20evaluated%20more%20than%20once.%20This%20is%20a%20usef + ul%20default%20which%20leads%20to%0Aa%20powerful%20language%2C%20but%20it%2 + 0is%20not%20%3Cem%3Ealways%3C%2Fem%3E%20the%20right%20choice.%20In%20this%2 + 0talk%20we%0Awill%20look%20at%20some%20examples%20where%20we%20would%20pref + er%20that%20arguments%20%3Cem%3Eare%3C%2Fem%3E%0Aevaluated%20anew%20each%20 + time%20they%20are%20used%2C%20trading%20a%20small%20amount%20of%20performan + ce%0Afor%20a%20huge%20win%20in%20memory%20usage.%20We%20will%20explore%20wa + ys%20to%20emulate%20call-by-name%0Ain%20a%20call-by-need%20language%2C%20an + d%20speculate%20about%20language%20features%20that%20might%0Aallow%20us%20c + hoose%20between%20the%20two%20semantics%20in%20a%20more%20principled%20mann + er.%0A":Lazy languages\, such as Haskell and Clean\, implement call-by-need + \nsemantics: arguments to functions are evaluated only if and when needed\, + but\nwill not be evaluated more than once. This is a useful default which + leads to\na powerful language\, but it is not always the right choice. In t + his talk we\nwill look at some examples where we would prefer that argument + s are\nevaluated anew each time they are used\, trading a small amount of p + erformance\nfor a huge win in memory usage. We will explore ways to emulate + call-by-name\nin a call-by-need language\, and speculate about language fe + atures that might\nallow us choose between the two semantics in a more prin + cipled manner.\n +SEQUENCE:1 +X-MOZ-GENERATION:2 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T075324Z +LAST-MODIFIED:20240821T075346Z +DTSTAMP:20240821T075346Z +UID:248a94ad-4d56-44a0-9a31-58d0e1b2afc6 +SUMMARY:Coffee and tea +DTSTART;TZID=Europe/Amsterdam:20240828T100000 +DTEND;TZID=Europe/Amsterdam:20240828T103000 +TRANSP:OPAQUE +LOCATION:Huygens building: zuidhal (south hall) +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T075414Z +LAST-MODIFIED:20240821T075429Z +DTSTAMP:20240821T075429Z +UID:864d8844-3edd-476f-8b00-31a0d53d6883 +SUMMARY:Lunch +DTSTART;TZID=Europe/Amsterdam:20240828T120000 +DTEND;TZID=Europe/Amsterdam:20240828T133000 +TRANSP:OPAQUE +LOCATION:Mercator I: ground floor +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T075500Z +LAST-MODIFIED:20240821T075515Z +DTSTAMP:20240821T075515Z +UID:f5522e6c-25e9-40eb-9b11-eca7d13466c7 +SUMMARY:IFL matters & closing +DTSTART;TZID=Europe/Amsterdam:20240828T150000 +DTEND;TZID=Europe/Amsterdam:20240828T153000 +TRANSP:OPAQUE +LOCATION:Huygens building: HG00.303 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T105136Z +LAST-MODIFIED:20240821T105204Z +DTSTAMP:20240821T105204Z +UID:64e647dc-0f9e-4cf2-9367-edf1a07bace1 +SUMMARY:iICS bestaat 20 jaar +DTSTART;TZID=Europe/Amsterdam:20250918T100000 +DTEND;TZID=Europe/Amsterdam:20250918T230000 +TRANSP:OPAQUE +LOCATION:Concertgebouw de Vereniging +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T073124Z +LAST-MODIFIED:20240825T184244Z +DTSTAMP:20240825T184244Z +UID:d60a9584-d16d-4090-99b3-c64c8868ce68 +SUMMARY:Session I (chair: Jurriaan Hage) +DTSTART;TZID=Europe/Amsterdam:20240826T103000 +DTEND;TZID=Europe/Amsterdam:20240826T120000 +TRANSP:OPAQUE +LOCATION:Huygens building: HG00.303 +DESCRIPTION;ALTREP="data:text/html,Marco%20T.%20Morazan%2C%20Oliwia%20Kempi + nski%20and%20Andr%C3%A9s%20M.%20Garced%20%E2%80%94%20The%20Implementation%2 + 0of%20FSM%20Computation%20Graphs%3Cbr%3E%3Cbr%3EAndr%C3%A9s%20M.%20Garced%2 + C%20Tijana%20Mini%C4%87%20and%20Marco%20T.%20Morazan%20%E2%80%94%20The%20Im + plementation%20of%20Dynamic%20Visualizations%20for%20FSM%3Cbr%3E%3Cbr%3ENie + k%20Janssen%2C%20Mart%20Lubbers%20and%20Pieter%20Koopman%20%E2%80%94%20Dist + ributed%20Data%20in%20Task-Oriented%20Programming%20on%20Edge%20Devices":Ma + rco T. Morazan\, Oliwia Kempinski and Andrés M. Garced — The Implementat + ion of FSM Computation Graphs\n\nAndrés M. Garced\, Tijana Minić and Marc + o T. Morazan — The Implementation of Dynamic Visualizations for FSM\n\nNi + ek Janssen\, Mart Lubbers and Pieter Koopman — Distributed Data in Task-O + riented Programming on Edge Devices +SEQUENCE:1 +X-MOZ-GENERATION:2 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T073237Z +LAST-MODIFIED:20240825T184255Z +DTSTAMP:20240825T184255Z +UID:c875e0c0-84ad-4750-b93f-c735edf4c1ca +SUMMARY:Session II (chair: Mart Lubbers) +DTSTART;TZID=Europe/Amsterdam:20240826T140000 +DTEND;TZID=Europe/Amsterdam:20240826T150000 +TRANSP:OPAQUE +LOCATION:Huygens building: HG00.303 +DESCRIPTION;ALTREP="data:text/html,Stian%20%C3%98verby%2C%20Joachim%20Tilst + ed%20Kristensen%20and%20Michael%20Kirkedal%20Thomsen%20%E2%80%94%20%0AProba + bly%3A%20A%20programming%20language%20with%20stochastic%20let-bindings%3Cbr + %3E%3Cbr%3EVanessa%20McHale%20%E2%80%94%20Pattern%20Matching%20as%20Inverse + %20in%20Typed%20Stack-Based%20Concatenative%20Languages":Stian Øverby\, Jo + achim Tilsted Kristensen and Michael Kirkedal Thomsen — \nProbably: A pro + gramming language with stochastic let-bindings\n\nVanessa McHale — Patter + n Matching as Inverse in Typed Stack-Based Concatenative Languages +SEQUENCE:1 +X-MOZ-GENERATION:3 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T073318Z +LAST-MODIFIED:20240825T184307Z +DTSTAMP:20240825T184307Z +UID:7d5f84ad-18f1-4ed1-a230-a44a8cd8fa39 +SUMMARY:Session III (chair: Sven-Bodo Scholz) +DTSTART;TZID=Europe/Amsterdam:20240826T153000 +DTEND;TZID=Europe/Amsterdam:20240826T163000 +TRANSP:OPAQUE +LOCATION:Huygens building: HG00.303 +DESCRIPTION;ALTREP="data:text/html,Razvan%20Nistor%20and%20Leonhard%20Appli + s%20%E2%80%94%20What%20about%20Haskell%20Bugs%3F%20Adapting%20bug%20taxonom + ies%20to%20Haskell's%20features%20and%20community%3Cbr%3E%3Cbr%3EOscar%20Le + ijendekker%20%E2%80%94%20Experience%20report%3A%20limitations%20of%20linear + ity%20in%20%0Adependent%20type%20theories%20when%20defining%20WebGL%20throu + gh%20types%20in%20Idris%202.":Razvan Nistor and Leonhard Applis — What ab + out Haskell Bugs? Adapting bug taxonomies to Haskell's features and communi + ty\n\nOscar Leijendekker — Experience report: limitations of linearity in + \ndependent type theories when defining WebGL through types in Idris 2. +SEQUENCE:1 +X-MOZ-GENERATION:2 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T074843Z +LAST-MODIFIED:20240825T184316Z +DTSTAMP:20240825T184316Z +UID:86385d3d-45ec-4b4e-a5b0-e01400ed517c +SUMMARY:Session IV (chair: Tim Steenvoorden) +DTSTART;TZID=Europe/Amsterdam:20240827T090000 +DTEND;TZID=Europe/Amsterdam:20240827T103000 +TRANSP:OPAQUE +LOCATION:Huygens building: HG00.303 +DESCRIPTION;ALTREP="data:text/html,Rinat%20Stryungis%20and%20Tom%20Schrijve + rs%20%E2%80%94%20Staging%20Automatic%20Differentiation%20with%20Template%20 + Haskell%3Cbr%3E%3Cbr%3ERuifeng%20Xie%20and%20Tom%20Schrijvers%20%E2%80%94%2 + 0Calculating%20Compilers%20with%20Graded%20Functions%3Cbr%3E%3Cbr%3EYouyou% + 20Cong%2C%20Hironori%20Kawazoe%20and%20Hidehiko%20Masuhara%20%E2%80%94%20A% + 20Mostly%20CPS%2C%20Partly%20ANF%20Translation%20of%20Dependent%20Types":Ri + nat Stryungis and Tom Schrijvers — Staging Automatic Differentiation with + Template Haskell\n\nRuifeng Xie and Tom Schrijvers — Calculating Compile + rs with Graded Functions\n\nYouyou Cong\, Hironori Kawazoe and Hidehiko Mas + uhara — A Mostly CPS\, Partly ANF Translation of Dependent Types +X-MOZ-GENERATION:1 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T074951Z +LAST-MODIFIED:20240825T184326Z +DTSTAMP:20240825T184326Z +UID:1128c089-3abd-411f-9c4d-bb873c9fe877 +SUMMARY:Session V (chair: Marco Morazán) +DTSTART;TZID=Europe/Amsterdam:20240827T110000 +DTEND;TZID=Europe/Amsterdam:20240827T120000 +TRANSP:OPAQUE +LOCATION:Huygens building: HG00.303 +DESCRIPTION;ALTREP="data:text/html,Jordy%20Aaldering%2C%20Bernard%20van%20G + astel%20and%20Sven-Bodo%20Scholz%20%E2%80%94%20Dynamic%20Adaptation%20of%20 + Runtime%20Systems%20Based%20on%20Energy%20Consumption%3Cbr%3E%3Cbr%3EPatric + k%20van%20Beurden%2C%20Thomas%20Koopman%2C%20and%20Sven-Bodo%20Scholz%20%E2 + %80%94%20A%20%0ALight-Weight%20Method%20to%20Generate%20Code%20for%20Multip + le%20GPUs%20and%20Out-Of-Core%20%0AProblems":Jordy Aaldering\, Bernard van + Gastel and Sven-Bodo Scholz — Dynamic Adaptation of Runtime Systems Based + on Energy Consumption\n\nPatrick van Beurden\, Thomas Koopman\, and Sven-B + odo Scholz — A \nLight-Weight Method to Generate Code for Multiple GPUs a + nd Out-Of-Core \nProblems +X-MOZ-GENERATION:1 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T075348Z +LAST-MODIFIED:20240825T184341Z +DTSTAMP:20240825T184341Z +UID:2bed2678-a21e-4a52-9635-520600a1ea26 +SUMMARY:Session VI (chair: Youyou Cong) +DTSTART;TZID=Europe/Amsterdam:20240828T103000 +DTEND;TZID=Europe/Amsterdam:20240828T120000 +TRANSP:OPAQUE +LOCATION:Huygens building: HG00.303 +DESCRIPTION;ALTREP="data:text/html,Michael%20Youssef%20%E2%80%94%20Shortest + %20Paths%2C%20Pigeonholes%20and%20Finite%20Sets%20%3A%20A%20Constructive%20 + Proof%20in%20Agda%3Cbr%3E%3Cbr%3EBj%C3%B6rn%20L%C3%B6tters%20and%20Uwe%20Me + yer%20%E2%80%94%20Context-Free%20Binding%20Grammars%3Cbr%3E%3Cbr%3EEnzo%20A + lda%20and%20Daniel%20Andres%20Pinto%20Alvarado%20%E2%80%94%20Redesigning%20 + the%20Spreadsheet%20Core":Michael Youssef — Shortest Paths\, Pigeonholes + and Finite Sets : A Constructive Proof in Agda\n\nBjörn Lötters and Uwe M + eyer — Context-Free Binding Grammars\n\nEnzo Alda and Daniel Andres Pinto + Alvarado — Redesigning the Spreadsheet Core +X-MOZ-GENERATION:1 +END:VEVENT +BEGIN:VEVENT +CREATED:20240821T075430Z +LAST-MODIFIED:20240825T184353Z +DTSTAMP:20240825T184353Z +UID:9b43f5a6-1721-4cdd-b57e-0a3cb115201a +SUMMARY:Session VII (chair: Peter Achten) +DTSTART;TZID=Europe/Amsterdam:20240828T133000 +DTEND;TZID=Europe/Amsterdam:20240828T150000 +TRANSP:OPAQUE +LOCATION:Huygens building: HG00.303 +DESCRIPTION;ALTREP="data:text/html,Joachim%20Kristensen%2C%20Michael%20Kirk + edal%20Thomsen%2C%20Sophie%20Adeline%20Solheim%20%0ABosio%20and%20Triera%20 + Gashi%20%E2%80%94%20pun%3A%20Fun%20with%20Properties%3B%20Towards%20a%20Pro + gramming%0A%20Language%20With%20Built-in%20Facilities%20for%20Program%20Val + idation%3Cbr%3E%3Cbr%3EJessica%20Belicia%20Cahyono%2C%20Youyou%20Cong%20and + %20Hidehiko%20Masuhara%20%E2%80%94%20Daisy%3A%20A%20Block-Based%20Environme + nt%20for%20Learning%20Data%20Modeling%3Cbr%3E%3Cbr%3EAkane%20Taniguchi%2C%2 + 0Youyou%20Cong%20and%20Hidehiko%20Masuhara%20%E2%80%94%20Formalizing%20an%2 + 0Object-Oriented%20Programming%20Language%20with%20Delimited%20Control":Joa + chim Kristensen\, Michael Kirkedal Thomsen\, Sophie Adeline Solheim \nBosio + and Triera Gashi — pun: Fun with Properties\; Towards a Programming\n La + nguage With Built-in Facilities for Program Validation\n\nJessica Belicia C + ahyono\, Youyou Cong and Hidehiko Masuhara — Daisy: A Block-Based Environ + ment for Learning Data Modeling\n\nAkane Taniguchi\, Youyou Cong and Hidehi + ko Masuhara — Formalizing an Object-Oriented Programming Language with De + limited Control +SEQUENCE:1 +X-MOZ-GENERATION:2 +END:VEVENT +END:VCALENDAR diff --git a/files/andrade.pdf b/files/andrade.pdf deleted file mode 100644 index adcae1e..0000000 Binary files a/files/andrade.pdf and /dev/null differ diff --git a/files/antonova.pdf b/files/antonova.pdf deleted file mode 100644 index 1bbd75b..0000000 Binary files a/files/antonova.pdf and /dev/null differ diff --git a/files/boer.pdf b/files/boer.pdf deleted file mode 100644 index 52b20ed..0000000 Binary files a/files/boer.pdf and /dev/null differ diff --git "a/files/b\303\266hm.pdf" "b/files/b\303\266hm.pdf" deleted file mode 100644 index 1ae36cf..0000000 Binary files "a/files/b\303\266hm.pdf" and /dev/null differ diff --git a/files/crooijmans.pdf b/files/crooijmans.pdf deleted file mode 100644 index 446fd50..0000000 Binary files a/files/crooijmans.pdf and /dev/null differ diff --git a/files/erlang24.pdf b/files/erlang24.pdf new file mode 100644 index 0000000..279b2f4 Binary files /dev/null and b/files/erlang24.pdf differ diff --git a/files/veen.pdf b/files/veen.pdf deleted file mode 100644 index 784db26..0000000 Binary files a/files/veen.pdf and /dev/null differ diff --git a/index.md b/index.md index cd41e9e..29ab488 100644 --- a/index.md +++ b/index.md @@ -14,6 +14,8 @@ language_reference: home ## Work - Assistant professor at the Radboud University --- from 2024-01 +- Past: +
- Scientific programmer at the TOP Software Technology --- from 2023-06 till 2023-12 - Researcher at the Radboud University --- from 2023-06 till 2023-08 - PhD candidate at the Radboud University --- from 2018-06 till 2023-05 @@ -37,10 +39,13 @@ language_reference: home - Klusjes/Afwas bij Hotel de la Poste --- van 2005-01 tot 2008-03
+ ## Publications ### Peer reviewed +- S. Li, P. Trinder, C. De Troyer, M. Lubbers, and A. Ramsingh, “The Benefits of Tierless Elixir/Potato for Engineering IoT Systems,” in Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, in Erlang 2024. New York, NY, USA: Association for Computing Machinery, 2024, pp. 84–95. + ([pdf](files/erlang24.pdf)) - P. Koopman, and M. Lubbers, “Strongly-Typed Multi-View Stack-Based Computations,” in Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, in PPDP ’23. New York, NY, USA: Association for Computing Machinery, 2023. ([pdf](files/ppdp23.pdf)) - M. Lubbers, P. Koopman, and R. Plasmeijer, “First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming,” in Proceedings of the 34st Symposium on Implementation and Application of Functional Languages, in IFL ’22. New York, NY, USA: ACM, 2023. @@ -79,33 +84,25 @@ language_reference: home #### Current -- Niek Janssen (PhD) +- PhD: Niek Janssen, and Benedikt Rips +- MSc: Cas Visser, Elina Antonova, and Julian Bles +- BSc: Patrick van den Bosch, and Sofie Vos -- Rowan van Rooijen (BSc) -- Patrick van den Bosch (BSc) +#### Past -#### Past +##### Master -- E. Antonova, "mTask semantics and its comparison to TopHat," Bachelor's Thesis, Radboud University, Nijmegen, 2022 - ([pdf](files/antonova.pdf), daily supervisor). -- A.D. Nederveen, "A Task-Based Approach to the Internal Battle," Master’s Thesis (Military Technology, Processes & Systems), Netherlands Defence Academy, Den Helder, 2021 - (pdf, daily supervisor). -- G. Alberts, "Implementing Asynchronous I/O in iTasks," Master’s Thesis, Radboud University, Nijmegen, 2021 - ([pdf](files/alberts.pdf), second reader). - S.S.E. Crooijmans, "Reducing the Power Consumption of IoT Devices in Task-Oriented Programming," Master’s Thesis, Radboud University, Nijmegen, 2021 - ([pdf](files/crooijmans.pdf), daily supervisor). -- D.J.M. Artz, "Information Technology Support for the Arterial Thoracic Outlet Syndrome," Bachelor’s Thesis, Radboud University, Nijmegen, 2020 - ([pdf](files/artz.pdf), second reader). -- M.L. de Boer, "Secure Communication Channels for mTask," Bachelor’s Thesis, Radboud University, Nijmegen, 2020 - ([pdf](files/boer.pdf), daily supervisor). -- VDG W.F.T. Vos, "Draadloze prestaties van de Wemos D1 Mini V3," Bachelor’s Thesis (Militaire Systemen en Technologie), Netherlands Defence Academy, Den Helder, 2020 - (pdf, client). +- A.D. Nederveen, "A Task-Based Approach to the Internal Battle," Master’s Thesis (Military Technology, Processes & Systems), Netherlands Defence Academy, Den Helder, 2021 - E. van der Veen, "Mutable Collection Types in Shallow Embedded DSLs," Master’s Thesis, Radboud University, Nijmegen, 2020 - ([pdf](files/veen.pdf), daily supervisor). - H. Böhm, “Asynchronous Actions in a Synchronous World,” Master’s Thesis, Radboud University, Nijmegen, 2019 - ([pdf](files/böhm.pdf), daily supervisor/second reader). - M. Amazonas Cabral De Andrade, “Developing Real Life, Task Oriented Applications for the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2018 - ([pdf](files/andrade.pdf), daily supervisor). + +##### Bachelor + +- R.M.T. van Rooijen, "Model Learning of Lexers" Bachelor's Thesis, Radboud University, Nijmegen, 2024 +- E. Antonova, "mTask semantics and its comparison to TopHat," Bachelor's Thesis, Radboud University, Nijmegen, 2022 +- M.L. de Boer, "Secure Communication Channels for mTask," Bachelor’s Thesis, Radboud University, Nijmegen, 2020 ### Posters @@ -121,6 +118,9 @@ language_reference: home ## Teaching +- 2024/2025 + - Compiler construction --- NWI-IMC004 + - New Devices Lab --- NWI-IBC031 - 2023/2024 - Compiler construction --- NWI-IMC004 - Earlier: @@ -146,10 +146,11 @@ language_reference: home ## Activities +- Program committee [TFPiE](https://wiki.tfpie.science.ru.nl/Main_Page), 2025 +- Program chair and host [IFL 2024](https://ifl24.cs.ru.nl/), 2024 +- Vice/publicity chair steering committee [IFL](https://www.ifl-symposia.org), 2024--2028 - Reviewer for [Computing (Springer)](https://www.springer.com/journal/607), [Sustrainable 2022 (Springer)](https://sustrainable.uniri.hr/). -- Vice/publicity chair steering committee [IFL](https://www.ifl-symposia.org), 2024--2028 -- Program committee [TFPiE](https://wiki.tfpie.science.ru.nl/Main_Page), 2025 ## Talks