X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=index.md;h=cd41e9ed2b00661e6d549f495ff0e1b38e645407;hb=8d5b1bd2df15935a20942b252b161cd7d0827f9e;hp=8ca3e32696df8728790707bc27aa8ec4550cc34a;hpb=2a86433b1667f8b9df648bb2c4f1e34d9b704c0b;p=martlubbers.net.git diff --git a/index.md b/index.md index 8ca3e32..cd41e9e 100644 --- a/index.md +++ b/index.md @@ -1,40 +1,20 @@ --- +layout: index title: Mart Lubbers' website +language: en +language_reference: home --- -{% 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))
-`mart@martlubbers.net` (GPG: AD3FEBE7)
-`mart@cs.ru.nl`
-gitlab, -Mastodon, -dblp, -ORCiD -
- -
-## Table of contents - - -
- +{% 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 -- Scientific programmer at the TOP Software Technology --- from 2023-06 +- 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 @@ -61,11 +41,11 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ## 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. 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. +- 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, doi: 10.1145/3572901. +- 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)) @@ -75,8 +55,8 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ([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 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. - +- 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, . - 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. @@ -88,7 +68,7 @@ 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 (accepted for defence). +- 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)) @@ -97,6 +77,15 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ### Student supervision +#### Current + +- Niek Janssen (PhD) + +- Rowan van Rooijen (BSc) +- Patrick van den Bosch (BSc) + +#### Past + - 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 @@ -120,34 +109,66 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ### 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. +- M. Lubbers, “Tierless Internet of Things with Task-Oriented Programming,” Mastering Complexity for Cyber-Physical Systems (CPS), 2024. + ([pdf](files/ict.open2024.pdf)) +- W. Schuerman, F. Torreira, and M. Lubbers, “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)) +- 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 -- 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) -- Advanced Programming --- NWI-I00032 (18/19) +- 2023/2024 + - Compiler construction --- NWI-IMC004 +- Earlier: +
+- 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) +
+ +## 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-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: +
- 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)) @@ -162,7 +183,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c - 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/)) -- Earlier: +- Even earlier:
- 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)) @@ -175,6 +196,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c - 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/))
+
## Other @@ -184,27 +206,15 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c - [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 2022-10-18) -- [Dvorak page](dvorak.html) (Updated 2020-06-11) - ### Interests Long distance running, -[open water swimming](walrus.html), -wildplukken, +open water swimming, +foraging, 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. +linux. #### Pages