X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=index.md;h=6a5e0bd5ca530a233342c63b32661889111fc253;hb=ff88ac117954527e2e02bd338e3205c35c0a0cfe;hp=8ca3e32696df8728790707bc27aa8ec4550cc34a;hpb=2a86433b1667f8b9df648bb2c4f1e34d9b704c0b;p=martlubbers.net.git
diff --git a/index.md b/index.md
index 8ca3e32..6a5e0bd 100644
--- a/index.md
+++ b/index.md
@@ -1,40 +1,18 @@
---
+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 %}
+
+{% 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 +39,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 +53,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 +66,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))
@@ -125,7 +103,8 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
### 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
@@ -137,11 +116,18 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
- Compiler construction --- NWI-IMC004 (18/19, 19/20, 20/21, 21/22)
- Advanced Programming --- NWI-I00032 (18/19)
+## Activities
+
+- Reviewer for [Computing (Springer)](https://www.springer.com/journal/607)
+- Vice/publicity chair steering committee [IFL](https://www.ifl-symposia.org)
+
## Talks
+- 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))
@@ -184,27 +170,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