{% include img.html alt='A photo of Mart Lubbers' img='p' %}
PhD candidate at the [Institute of Computing and Information Sciences](https://cs.ru.nl) ([Radboud University](https://ru.nl))<br />
`mart@martlubbers.net` (GPG: <a href="http://martlubbers.net/mart@martlubbers.net.asc" title="Fingerprint: 74FF FBF1 4758 273B 2F56 A30C A937 B7A1 AD3F EBE7" style="font-family:monospace">AD3FEBE7</a>)<br />
-`mart@cs.ru.nl`
+`mart@cs.ru.nl`<br />
+<a rel="me" href="https://gitlab.com/mlubbers">gitlab</a>,
+<a rel="me" href="https://akademienl.social/@mart">Mastodon</a>,
+<a rel="me" href="https://dblp.uni-trier.de/pid/238/2964.html">dblp</a>,
+<a rel="me" href="https://orcid.org/0000-0002-4015-4878">ORCiD</a>
+<br />
<header>
## Table of contents
## 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:
## Publications
### Peer reviewed
-- M. Lubbers, “Deep Embedding with Class”, in Trends in Functional Programming, Cham, in-press 2022, p. 19.
-- S. Crooijmans, M. Lubbers, and P. Koopman, “Reducing the Power Consumption of IoT with Task-Oriented Programming”, in Trends in Functional Programming, Cham, in-press 2022, p. 20.
+- 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)
+ <!--([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. 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.
+ ([pdf](files/tfp22a.pdf))
+- Crooijmans, S., Lubbers, M., Koopman, P. (2022). Reducing the Power Consumption of IoT with Task-Oriented Programming. In: Swierstra, W., Wu, N. (eds) Trends in Functional Programming. TFP 2022. Lecture Notes in Computer Science, vol 13401. Springer, Cham.
+ ([pdf](files/tfp22b.pdf))
- M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, “Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures,” in Proceedings of the 10th International Conference on the Internet of Things, Malmö, 2020, p. 9.
([pdf](files/iot20.pdf))
-- M. Lubbers, P. Koopman, and R. Plasmeijer, “Interpreting Task Oriented Programs on Tiny Computers,” in Proceedings of the 31th Symposium on the Implementation and Application of Functional Programming Languages, Singapore, in-press, p. 12.
+- M. Lubbers, P. Koopman, and R. Plasmeijer, “Interpreting Task Oriented Programs on Tiny Computers,” in Proceedings of the 31th Symposium on the Implementation and Application of Functional Programming Languages, Singapore, 2020, p. 12.
([pdf](files/ifl19.pdf))
- M. Lubbers, P. Koopman, and R. Plasmeijer, “Writing Internet of Things applications with Task Oriented Programming,” in Central European Functional Programming School: 8th Summer School, CEFP 2019, Budapest, Hungary, July 17–21, 2019, Revised Selected Papers, Cham: Springer International Publishing, in-press, 2019, p. 51.
<!--([pdf](files/cefp19.pdf))-->
### Theses
+- M. Lubbers, “Orchestrating the Internet of Things with Task-Oriented Programming.” PhD Thesis, in Radboud Dissertation Series, no. DIS-002. Nijmegen: Radboud University Press, 2023. doi: 10.54195/9789493296114.
+ ([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.
### Student supervision
- E. Antonova, "mTask semantics and its comparison to TopHat," Bachelor's Thesis, Radboud University, Nijmegen, 2022
- ([pdf](files/antonova.pdf), second reader).
+ ([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
(<a href="#" title="On request">pdf</a>, daily supervisor).
- G. Alberts, "Implementing Asynchronous I/O in iTasks," Master’s Thesis, Radboud University, Nijmegen, 2021
## Teaching
-- 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)
+- 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)
- Compiler construction --- NWI-IMC004 (18/19, 19/20, 20/21, 21/22)
## 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/))
- 2022-05-18 --- Deep Embedding with Class ([TFP 2022](https://trendsfp.github.io))
- 2022-05-18 --- Reducing the Power Consumption of IoT with Task-Oriented Programming ([TFP 2022](https://trendsfp.github.io))
- 2022-05-17 --- First-Class Data Types in Shallow Embedded Domain Specific Languages using Metaprogramming ([TFP 2022](https://trendsfp.github.io))
- 2022-04-04 --- Onderzoeker in de Klas ([BS Noorderbreedte](https://noorderbreedtediemen.nl))
-- 2022-04-04 --- Onderzoeker in de Klas ([BS Noorderbreedte](https://noorderbreedtediemen.nl))
- 2022-01-20 --- Task-Oriented Programming for the Internet of Things ([ENS seminar](https://www.tudelft.nl/ewi/over-de-faculteit/afdelingen/software-technology/embedded-and-networked-systems))
- 2021-11-04 --- Green Computing for the Internet of Things ([SusTrainable Teacher Training](https://sustrainable.github.io/))
- 2021-04-07 --- Deep Embedding with Class ([SWSSeminar](https://www.sws.cs.ru.nl/SWSSeminar))
### Software, libraries and projects
-- [m](https://github.com/dopefishh/m) --- `m' is for music, an extremely fast music indexer written in plain C.
-- [cloogle](https://github.com/dopefishh/cloogle) --- Cloogle, a hoogle clone for clean. [Live version here](http://cloogle.org).
+- [mTask](https://gitlab.com/mtask) --- a TOP framework for the Internet of Things integrated in iTasks.
- [praatalign](https://github.com/dopefishh/praatalign) --- An interactive praat forced aligner, easily extensible for more languages.
- [pympi](https://github.com/dopefishh/pympi) --- A python toolkit to interact with Praat and Elan files.
### Tutorials and manuals
-- [Wifi roaming without network manager (includes eduroam ru instructions)](nonm.html) (Updated 2020-09-16)
+- [Wifi roaming without network manager (includes eduroam ru instructions)](nonm.html) (Updated 2022-10-18)
- [Dvorak page](dvorak.html) (Updated 2020-06-11)
### Interests
-[Wildplukken](foerageer.html),
-Reading,
-Heavy metal music,
-Hacking,
-[Kung fu](http://www.howchuenmonkeykungfu.nl),
-[Linux](http://linuxnijmegen.nl),
+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
+
[Using a HP t5710 thin client as a retro system](archive/thin.html)
[LeJoS on ubuntu](archive/lejos-ubuntu.html),
[Play youtube videos on headless machine](archive/youtube-term.html),
repositories / martlubbers.net.git / blobdiff