From: Mart Lubbers Date: Thu, 20 Jul 2023 12:51:15 +0000 (+0000) Subject: thesis, pubs, presentations X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=2a86433b1667f8b9df648bb2c4f1e34d9b704c0b;p=martlubbers.net.git thesis, pubs, presentations --- diff --git a/_layouts/default.html b/_layouts/default.html index 47573c8..4745e36 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -20,7 +20,7 @@ {% if page.collection == "posts" %} Terug naar het blog {% endif %} - {% if page.name != "index.md" %} + {% if page.name != "index.md" and page.name != "walrus.md" %} Back to home/terug naar home {% endif %} diff --git a/files/ifl22.pdf b/files/ifl22.pdf new file mode 100644 index 0000000..ebe3cec Binary files /dev/null and b/files/ifl22.pdf differ diff --git a/files/phdthesis.pdf b/files/phdthesis.pdf new file mode 100644 index 0000000..6127e2d Binary files /dev/null and b/files/phdthesis.pdf differ diff --git a/files/thesis.pdf b/files/thesis.pdf new file mode 100644 index 0000000..0e63ab9 Binary files /dev/null and b/files/thesis.pdf differ diff --git a/index.md b/index.md index 51c45d4..8ca3e32 100644 --- a/index.md +++ b/index.md @@ -7,8 +7,10 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c `mart@martlubbers.net` (GPG: AD3FEBE7)
`mart@cs.ru.nl`
gitlab, +Mastodon, dblp, -Mastodon
+ORCiD +
## Table of contents @@ -32,7 +34,9 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ## Work -- PhD candidate at the Radboud University --- from 2018-06 +- Scientific programmer at the TOP Software Technology --- from 2023-06 +- Researcher at the Radboud University --- from 2023-06 till 2023-08 +- PhD candidate at the Radboud University --- from 2018-06 till 2023-05 - Researcher at the Radboud University --- from 2018-02 till 2018-05 - Researcher/teacher at the Netherlands Defence Academy --- from 2017-09 till 2017-12 - Earlier: @@ -57,8 +61,10 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ## Publications ### Peer reviewed -- M. Lubbers, P. Koopman, and R. Plasmeijer, “First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming,” in Proceedings of the 34th Symposium on the Implementation and Application of Functional Programming Languages, Kopenhagen, in-press, 2023, p. 12. - +- 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. Cascais, Lisbon, Portugal, ACM, 2023 (accepted) + +- 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. doi: 10.1145/3587216.3587219. + ([pdf](files/ifl22.pdf)) - M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, “Could Tierless Languages Reduce IoT Development Grief?” ACM Trans. Internet Things, vol. 4, no. 1, Feb. 2023, doi: 10.1145/3572901. ([pdf](files/tiot22.pdf)) - Lubbers, M. (2022). Deep Embedding with Class. In: Swierstra, W., Wu, N. (eds) Trends in Functional Programming. TFP 2022. Lecture Notes in Computer Science, vol 13401. Springer, Cham. @@ -82,8 +88,8 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ### Theses -- M. Lubbers, “Orchestrating the Internet of Things with Task-Oriented Programming,” PhD Thesis, Radboud University, Nijmegen, 2023 (expected). - +- M. Lubbers, “Orchestrating the Internet of Things with Task-Oriented Programming,” PhD Thesis, Radboud University, Nijmegen, 2023 (accepted for defence). + ([pdf](files/thesis.pdf)) - M. Lubbers, “Task Oriented Programming and the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2017. ([pdf](files/master.pdf)) - M. Lubbers, “Adaptable crawler specification generation system for leisure activity RSS feeds,” Bachelor's Thesis, Radboud University, Nijmegen, 2015. @@ -123,7 +129,8 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ## Teaching -- Green Computing for the IoT ([Sustrainable 2022](https://sustrainable.uniri.hr/) summer school in Rijeka, Croatia, 2022) +- Sustainable IoT Programming ([SusTrainable 2023](https://sustrainable.dei.uc.pt/) summer school in Coimbra, Portugal, 2023) +- Green Computing for the IoT ([SusTrainable 2022](https://sustrainable.uniri.hr/) summer school in Rijeka, Croatia, 2022) - New Devices Lab --- NWI-IBC031 (20/21, 21/22, 22/23) - Computers en Programmeren --- TCP1 (19/20) at the [NLDA](https://www.defensie.nl/onderwerpen/defensieacademie) - Task Oriented Programming for the Internet of Things ([3COWS/CEFP](https://people.inf.elte.hu/cefp/) summer school in Budapest, Hungary, 2019) @@ -132,6 +139,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ## Talks +- 2023-07-14 --- Sustainable IoT Programming (lecture and practical) ([SusTrainable 2023](https://sustrainable.dei.uc.pt)) - 2022-09-02 --- Asynchronous Shared Data Sources ([IFL 2022](https://ifl22.github.io/)) - 2022-09-02 --- First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. ([IFL 2022](https://ifl22.github.io/) - 2022-07-07 --- Green Computing for the IoT (lecture and practical) ([SusTrainable 2022](https://sustrainable.uniri.hr/)) @@ -183,17 +191,19 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ### Interests -Running, -Wildplukken, -Reading, -Heavy metal music, -Hacking, -Linux, +Long distance running, +[open water swimming](walrus.html), +wildplukken, +reading, +heavy metal music, +hacking, +linux, [ſ-homografen](langes.html). ### Archive #### Software + - [m](https://github.com/dopefishh/m) --- `m' is for music, an extremely fast music indexer written in plain C. #### Pages diff --git a/walrus.md b/walrus.md new file mode 100644 index 0000000..f648aef --- /dev/null +++ b/walrus.md @@ -0,0 +1,20 @@ +--- +title: Walrusvereniging Almere +date: 2023-06-12 +--- + +Welkom op de website van de Walrusvereniging Almere. +Een laagdrempelige buitenzwemvereniging die, anders dan de naam doet vermoeden, nog niet de hele winter door zwemt maar dit wel ambieert. + +### Locatie + +Noorderplassenstrand, we verzamelen op de landtong ([N 52°23.681' E 005°13.202'](https://www.openstreetmap.org/?mlat=52.39467&mlon=5.22003#map=19/52.39467/5.22003)) + + +### Agenda + +We hebben geen vaste dagen maar zwemmen twee à drie keer per week. + +### Contact + +Stuur een e-mail naar [`walrus@martlubbers.net`](mailto:walrus@martlubbers.net).