add talks and note on student topics

[martlubbers.net.git] / index.md

---
layout: index
title: Mart Lubbers' website
language: en
language_reference: home
---

{% include index_header.html %}

#### For BSc, MSc and internship topics, please see: [https://sws.cs.ru.nl/Teaching/TOP](https://sws.cs.ru.nl/Teaching/TOP).

{% include toc.html %}

## Work

- Assistant professor at the Radboud University --- from 2024-01
- 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
- 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:
<details>
- Programmer for Wi-Sense --- from 2016-02 till 2017-07
- Owner of ITLubbers --- from 2015-04 till 2017-06
- Student assistant at the Radboud University from 2015 till 2016
  - 2016/2017: Functional Programming 1
  - 2015/2016: Functional Programming 1, Functional Programming 2, Web Security
- Student assistant at the Max Planck Institute for Psycholinguistics --- from 2013-06 till 2015-12
  Processing and collecting data and developing software in the [LaC](http://www.mpi.nl/departments/language-and-cognition) department.
- Student at Studentaanhuis.nl --- from 2012-03 till 2013-08
- Even earlier:
<details>
- Productiemedewerker bij Capzo International --- van 2010-07 tot 2010-12
- Computerhulp bij Reef Infra --- van 2008-06 tot 2008-07
- Afwas/Keukenhulp bij De Postelhoek --- van 2008-04 tot 2011-08
- Klusjes/Afwas bij Hotel de la Poste --- van 2005-01 tot 2008-03
</details>
</details>

## Publications
### Peer reviewed

- 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.
        ([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.
        ([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, 2020, p. 12.
        ([pdf](files/ifl19.pdf))
- M. Lubbers, P. Koopman, and R. Plasmeijer, “Writing Internet of Things Applications with Task Oriented Programming,” in Composability, Comprehensibility and Correctness of Working Software, Z. Porkoláb and V. Zsók, Eds., Cham: Springer International Publishing, 2023, pp. 3–52.
        ([pdf](files/cefp19.pdf))
- P. Koopman, M. Lubbers, and R. Plasmeijer, “Simulation of a Task-Based Embedded Domain Specific Language for the Internet of Things,” in Central European Functional Programming School: 7th Winter School, CEFP 2018, Košice, Slovakia, January 22–26, 2018, Revised Selected Papers, Cham: Springer International Publishing, in-press, 2018, <!--p. ?-->.
        <!--([pdf](files/cefp18.pdf))-->
- M. Lubbers, P. Koopman, and R. Plasmeijer, “Multitasking on Microcontrollers using Task Oriented Programming,” in 2019 42st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, Croatia, pp. 1587-1592.
        ([pdf](files/3cows.pdf))
- M. Lubbers, P. Koopman, and R. Plasmeijer, “Task Oriented Programming and the Internet of Things,” in Proceedings of the 30th Symposium on the Implementation and Application of Functional Programming Languages, Lowell, MA, 2018, pp. 83–94.
        ([pdf](files/ifl18.pdf))
- P. Koopman, M. Lubbers, and R. Plasmeijer, “A Task-Based DSL for Microcomputers,” in Proceedings of the Real World Domain Specific Languages Workshop, 2018, pp. 1–11.
        ([pdf](files/rwdsl17.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.
        ([pdf](files/bachelor.pdf))

### Student supervision

- 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
        (<a href="#" title="On request">pdf</a>, 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
        (<a href="#" title="On request">pdf</a>, client).
- 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).

### Posters

- W. Schuerman, F. Torreira, and Lubbers, M, “Praatalign: Phonetic Alignment Made Easier For Psycholinguistic Data Processing,” Architectures and Mechanisms for Language Processing, p. 92, 2015.
        ([pdf](files/amlap15.pdf))

### Editor

- P. Koopman, M. Lubbers, and J. P. Fernandes (Eds.), “SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education. Teacher Training, November 1-5, Nijmegen, The Netherlands. Revised lecture notes”. arXiv, 2022. doi: 10.48550/ARXIV.2204.13993
        ([pdf](files/tt21.pdf))

## Teaching

- 2023/2024
        - Compiler construction --- NWI-IMC004
- Earlier:
<details>
- 2022/2023
        - New Devices Lab --- NWI-IBC031
        - Sustainable IoT Programming ([SusTrainable 2023](https://sustrainable.dei.uc.pt/) summer school in Coimbra, Portugal, 2023)
- 2021/2022
        - New Devices Lab --- NWI-IBC031
        - Compiler construction --- NWI-IMC004
        - Green Computing for the IoT ([SusTrainable 2022](https://sustrainable.uniri.hr/) summer school in Rijeka, Croatia, 2022)
- 2020/2021
        - New Devices Lab --- NWI-IBC031
        - Compiler construction --- NWI-IMC004
- 2019/2020
        - Computers en Programmeren --- TCP1 (practicals only) 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
- 2018/2019
        - Compiler construction --- NWI-IMC004
        - Advanced Programming --- NWI-I00032 (tutorials only)
</details>

## Activities

- 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

- 2024-05-28 --- The Design and Implementation of Embedded Domain-Specific Languages ([Lambda Days 2024](https://www.lambdadays.org/lambdadays2024))
- 2024-04-11 --- Tierless Internet of Things with Task-Oriented Programming ([ICT.OPEN2024 (Mastering Complexity for Cyber-Physical Systems (CPS))](https://www.ictopen.nl/))
- 2024-01-16 --- Simplifying Classy Deep Embedding ([SWSSeminar](https://www.sws.cs.ru.nl/SWSSeminar))
- 2023-11-27 --- Sustainable Software Engineering for the Internet of Things ([BENEVOL 2023](https://benevol2023.github.io/))
- 2023-10-04 --- Orchestrating the Internet of Things with Task-Oriented Programming ([PhD defense](/en/thesis.html))
- 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-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))
- Earlier:
<details>
- 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))
- 2021-02-17 --- Asynchronous Shared Data Sources ([TFP 2021/LambdaDays 2021](http://tfp2021.org), [video](https://youtu.be/ouXBbj5DV5w))
- 2020-10-06 --- Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures ([IoT 2020](https://iot-conference.org/iot2020/))
- 2020-09-02 --- Asynchronous Shared Data Sources ([IFL 2020](https://www.cs.kent.ac.uk/events/2020/ifl20/))
- 2019-11-18 --- The fun of computing science: footballer brains in SoccerFun ([Proefstudeerdag RU](https://www.ru.nl/opleidingen/bacheloropleidingen/open-dagen-en-studievoorlichting/proefstuderen/))
- 2019-09-25 --- Interpreting Task Oriented Programs on Tiny Computers ([IFL 2019](http://2019.iflconference.org/))
- 2019-07-03 --- Promoveren en Functioneel Programmeren ([Studium Generale 2019](http://helenpark.nl/De_school/Nieuws_/_Actueel/Item/Studium%20Generale%20met%20ruim%20zestig%20gastsprekers.wli))
- 2019-06-17 --- Task Oriented Programming for the Internet of Things (lecture and practical) ([CEFP19](https://people.inf.elte.hu/cefp))
- 2019-05-21 --- Multitasking on Microcontrollers using Task Oriented Programming ([4COWS19](http://www.mipro.hr/MIPRO2019.4COWS/ELink.aspx))
- 2018-11-29 --- Task Oriented Programming and the Internet of Things ([PLNL18](https://conf.researchr.org/home/plnl-2018))
- 2018-10-23 --- Three day teacher training on TOP and IOT for the 3COWS project ([3COWS](https://kpi.fei.tuke.sk/en/user/szabo-csaba/focusing-education-composability-comprehensibility-and-correctness-working-software))
- 2018-01-05 --- Task Oriented Pearl: Distributed Blockchain Applications ([NLFP18](http://wiki.clean.cs.ru.nl/NL-FP_dag_2018))
- 2017-08-31 --- Task Oriented Programming and the Internet of Things ([IFL 2017](http://2017.iflconference.org/))
- Even earlier:
<details>
- 2017-03-11 --- [Software Science Master's](http://www.ru.nl/english/education/masters/software-science/) information evening ([RU](https://ru.nl))
- 2016-11-17 --- [Software Science Master's](http://www.ru.nl/english/education/masters/software-science/) information evening ([RU](https://ru.nl))
- 2016-11-09 --- [GNU Make](https://www.gnu.org/software/make/) workshop ([LUGN](http://www.linuxnijmegen.nl/))
- 2016-03-16 --- [git](http://www.git-scm.com/) workshop for [AI](http://www.ru.nl/artificialintelligence/) students ([RU](https://ru.nl))
- 2015-12-08 --- [LaTeX](http://www.latex-project.org) workshop ([LUGN](http://www.linuxnijmegen.nl/))
- 2015-07-14 --- [mutt](http://mutt.org) workshop ([LUGN](http://www.linuxnijmegen.nl/))
- 2015-04-20 --- [git](http://www.git-scm.com/) flashtalk for [AI](http://www.ru.nl/artificialintelligence/) students ([RU](https://ru.nl))
- 2014-09-29 --- [ELAN](https://tla.mpi.nl/tools/tla-tools/elan/)-[python](https://www.python.org) mini-course ([pympi](https://github.com/dopefishh/pympi), [MPI](https://www.mpi.nl))
- 2014-09-09 --- Introduction to the command line and [bash](https://www.gnu.org/software/bash) ([LUGN](http://www.linuxnijmegen.nl/))
- 2014-07-08 --- Advanced usage of [ssh](https://www.openssh.com) ([LUGN](http://www.linuxnijmegen.nl/))
</details>
</details>

## Other

### Software, libraries and projects

- [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.

### Interests

Long distance running,
open water swimming,
foraging,
reading,
heavy metal music,
hacking,
linux.

#### 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),
[Use any untrusted linux cloud storage safe](archive/nsa-dropbox.html),
[Wlan w.o. network manager on debian](archive/wlan-debian.html).