X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=index.md;h=8ca3e32696df8728790707bc27aa8ec4550cc34a;hb=2a86433b1667f8b9df648bb2c4f1e34d9b704c0b;hp=a00ee74dff8d0717bbf2f88f3a6d31ac50405732;hpb=7a17e96b89c6d8b344ec807a9710c9e8df553f03;p=martlubbers.net.git

diff --git a/index.md b/index.md
index a00ee74..8ca3e32 100644
--- a/index.md
+++ b/index.md
@@ -5,11 +5,16 @@ title: Mart Lubbers' website
 {% 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
 				
-<header>
 <nav>
 - [Work](#work)
 - [Publications](#publications)
@@ -29,9 +34,11 @@ 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 Defense Academy --- from 2017-09 till 2017-12
+- 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
@@ -40,17 +47,34 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
   - 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.</td>
+  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. 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.
-	<!--([pdf](files/ifl19.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.
 	<!--([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. ?-->.
@@ -64,6 +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 (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.
@@ -71,11 +97,19 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 
 ### 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, Netherlands Defence Academy, Den Helder, 2020
+- 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).
@@ -89,17 +123,34 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 - 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
 
-- Compiler construction --- NWI-IMC004 (18/19, 19/20, 20/21)
-- New Devices Lab --- NWI-IBC031 (20/21)
+- 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)
 
 ## 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-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))
-- 2021-02-17 --- Asynchronous Shared Data Sources ([TFP 2021/LambdaDays 2021](http://tfp2021.org))
+- 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/))
@@ -113,86 +164,50 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 - 2017-08-31 --- Task Oriented Programming and the Internet of Things ([IFL 2017](http://2017.iflconference.org/))
 - Earlier:
 <details>
-<table>
-	<tr>
-		<td><a href="https://git.martlubbers.net/?p=mastervoorlichting16.git">2017-03-11</a></td>
-		<td><a href="http://www.ru.nl/english/education/masters/software-science/" title="The evening incorporated standing on the masters market to provide information for upcoming students">Software Science</a> masters. <a href="http://ru.nl">RU</a>.</td>
-		<td></td>
-	</tr>
-	<tr>
-		<td><a href="https://git.martlubbers.net/?p=mastervoorlichting16.git">2016-11-17</a></td>
-		<td><a href="http://www.ru.nl/english/education/masters/software-science/" title="The evening incorporated standing on the masters market to provide information for upcoming students">Software Science</a> masters. <a href="http://ru.nl">RU</a>.</td>
-		<td></td>
-	</tr>
-	<tr>
-		<td><a href="https://git.martlubbers.net/?p=linuxnijmegen-make.git">2016-11-09</a></td>
-		<td><a href="https://www.gnu.org/software/make/">GNU Make</a> workshop. <a href="http://www.linuxnijmegen.nl/">LUGN</a></td>
-		<td></td>
-	</tr>
-	<tr>
-		<td><a href="https://git.martlubbers.net/?p=ai-workshop.git">2016-03-16</a></td>
-		<td><a href="http://www.git-scm.com/">Git</a> workshop for <a href="http://www.ru.nl/artificialintelligence/">AI</a> students.</td>
-		<td></td>
-	</tr>
-	<tr>
-		<td><a href="https://git.martlubbers.net/?p=linuxnijmegen-latex.git">2015-12-08</a></td>
-		<td><a href="https://www.latex-project.org">LaTeX</a> workshop. <a href="http://www.linuxnijmegen.nl/">LUGN</a></td>
-		<td></td>
-	</tr>
-	<tr>
-		<td><a href="https://git.martlubbers.net/?p=linuxnijmegen-mutt.git">2015-07-14</a></td>
-		<td><a href="http://mutt.org">Mutt</a> workshop. <a href="http://www.linuxnijmegen.nl/">LUGN</a></td>
-		<td></td>
-	</tr>
-	<tr>
-		<td><a href="https://git.martlubbers.net/?p=ai-gitflashtalk.git">2015-04-20</a></td>
-		<td><a href="http://www.git-scm.com/">Git</a> flashtalk for <a href="http://www.ru.nl/artificialintelligence/">AI</a> students.</td>
-		<td></td>
-	</tr>
-	<tr>
-		<td><a href="files/pympi_presentation2014.zip">2014-09-29</a></td>
-		<td><a href="https://tla.mpi.nl/tools/tla-tools/elan/">ELAN</a>-<a href="https://www.python.org/">Python</a> mini-course(<a href="https://github.com/dopefishh/pympi">pympi</a>). <a href="http://www.mpi.nl">MPI</a></td>
-		<td></td>
-	</tr>
-	<tr>
-		<td><a href="https://git.martlubbers.net/?p=linuxnijmegen-bash.git">2014-09-09</a></td>
-		<td>Introduction to the command line and <a href="https://www.gnu.org/software/bash/">bash</a>. <a href="http://www.linuxnijmegen.nl/">LUGN</a></td>
-		<td></td>
-	</tr>
-	<tr>
-		<td><a href="https://git.martlubbers.net/?p=linuxnijmegen-ssh.git">2014-07-08</a></td>
-		<td>Advanced usage of <a href="http://www.openssh.com/">ssh</a>. <a href="http://www.linuxnijmegen.nl/">LUGN</a></td>
-		<td></td>
-	</tr>
-	</table>
+- 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>
 
 ## Other
 
 ### 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) (Updated 2020-09-16)
-- [Dvorak page](dvorak) (Updated 2020-06-11)
+- [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),
-Reading,
-Heavy metal music,
-Hacking,
-[Kung fu](http://www.howchuenmonkeykungfu.nl),
-[Linux](http://linuxnijmegen.nl),
-[Å¿-homografen](langes).
+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),