minor
[martlubbers.net.git] / index.md
index 21ef6a9..aab7b64 100644 (file)
--- 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))<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`<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
-                               
-<nav>
-- [Work](#work)
-- [Publications](#publications)
-       - [Peer reviewed](#peer-reviewed)
-       - [Student supervision](#student-supervision)
-       - [Theses](#theses)
-       - [Posters](#posters)
-- [Teaching](#teaching)
-- [Talks](#talks)
-- [Other](#other)
-       - [Software, libraries and projects](#software-libraries-and-projects)
-       - [Tutorials and manuals](#tutorials-and-manuals)
-       - [Interests](#interests)
-       - [Archive](#archive)
-</nav>
-</header>
-               
+{% 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
@@ -62,7 +40,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 ### 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)-->
+       ([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.
@@ -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
 
@@ -139,6 +118,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 
 ## Talks
 
+- 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/)
@@ -184,27 +164,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