thesis, pubs, presentations

diff --git a/_layouts/default.html b/_layouts/default.html
index 47573c8..4745e36 100644 (file)
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -20,7 +20,7 @@
                        {% if page.collection == "posts" %}
                        <a href="/foerageer.html">Terug naar het blog</a>
                        {% endif %}
-                       {% if page.name != "index.md" %}
+                       {% if page.name != "index.md" and page.name != "walrus.md" %}
                        <a href="/">Back to home/terug naar home</a>
                        {% endif %}
                </header>

diff --git a/files/ifl22.pdf b/files/ifl22.pdf
new file mode 100644 (file)
index 0000000..ebe3cec
Binary files /dev/null and b/files/ifl22.pdf differ

diff --git a/files/phdthesis.pdf b/files/phdthesis.pdf
new file mode 100644 (file)
index 0000000..6127e2d
Binary files /dev/null and b/files/phdthesis.pdf differ

diff --git a/files/thesis.pdf b/files/thesis.pdf
new file mode 100644 (file)
index 0000000..0e63ab9
Binary files /dev/null and b/files/thesis.pdf differ

diff --git a/index.md b/index.md
index 51c45d4..8ca3e32 100644 (file)
--- a/index.md
+++ b/index.md
@@ -7,8 +7,10 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 `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://akademienl.social/@mart">Mastodon</a> <br />
+<a rel="me" href="https://orcid.org/0000-0002-4015-4878">ORCiD</a>
+<br />
 
 <header>
 ## Table of contents
@@ -32,7 +34,9 @@ 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 Defence Academy --- from 2017-09 till 2017-12
 - Earlier:
@@ -57,8 +61,10 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 ## Publications
 ### Peer reviewed
 
-- M. Lubbers, P. Koopman, and R. Plasmeijer, “First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming,” in Proceedings of the 34th Symposium on the Implementation and Application of Functional Programming Languages, Kopenhagen, in-press, 2023, p. 12.
-       <!--([pdf](files/ifl22.pdf))-->
+- 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.
@@ -82,8 +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 (expected).
-       <!--([pdf](files/thesis.pdf))-->
+- 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.
@@ -123,7 +129,8 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 
 ## Teaching
 
-- Green Computing for the IoT ([Sustrainable 2022](https://sustrainable.uniri.hr/) summer school in Rijeka, Croatia, 2022)
+- 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)
@@ -132,6 +139,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 
 ## 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/))
@@ -183,17 +191,19 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 
 ### Interests
 
-Running,
-Wildplukken,
-Reading,
-Heavy metal music,
-Hacking,
-Linux,
+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

diff --git a/walrus.md b/walrus.md
new file mode 100644 (file)
index 0000000..f648aef
--- /dev/null
+++ b/walrus.md
@@ -0,0 +1,20 @@
+---
+title: Walrusvereniging Almere
+date: 2023-06-12
+---
+
+Welkom op de website van de Walrusvereniging Almere.
+Een laagdrempelige buitenzwemvereniging die, anders dan de naam doet vermoeden, nog niet de hele winter door zwemt maar dit wel ambieert.
+
+### Locatie
+
+Noorderplassenstrand, we verzamelen op de landtong ([N 52°23.681' E 005°13.202'](https://www.openstreetmap.org/?mlat=52.39467&mlon=5.22003#map=19/52.39467/5.22003))
+<iframe width="425" height="350" frameborder="0" scrolling="no" marginheight="0" marginwidth="0" src="https://www.openstreetmap.org/export/embed.html?bbox=5.218304693698884%2C52.39362700408787%2C5.221764743328095%2C52.39571056721453&amp;layer=mapnik&amp;marker=52.39466797958001%2C5.220034718513489" style="border: 1px solid black"></iframe>
+
+### Agenda
+
+We hebben geen vaste dagen maar zwemmen twee à drie keer per week.
+
+### Contact
+
+Stuur een e-mail naar [`walrus@martlubbers.net`](mailto:walrus@martlubbers.net).