X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=index.md;h=8ca3e32696df8728790707bc27aa8ec4550cc34a;hb=2a86433b1667f8b9df648bb2c4f1e34d9b704c0b;hp=b6b3eca1a102fea4f05c334d64effa7156b0067c;hpb=159eddad76122c0ff2ae338b86cd45ea0645cc7e;p=martlubbers.net.git
diff --git a/index.md b/index.md
index b6b3eca..8ca3e32 100644
--- a/index.md
+++ b/index.md
@@ -6,7 +6,11 @@ title: Mart Lubbers' website
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`
-Mastodon
+gitlab,
+Mastodon,
+dblp,
+ORCiD
+
## Table of contents
@@ -30,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:
@@ -55,9 +61,11 @@ 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.
-
-- M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, âCould Tierless Languages Reduce IoT Development Grief?â ACM Trans. Internet Things, Nov. 2022, just-accepted, doi: 10.1145/3572901.
+- 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.
+ ([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))
@@ -80,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).
-
+- 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.
@@ -121,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)
@@ -130,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/))
@@ -170,8 +180,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
### 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.
@@ -182,16 +191,23 @@ 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
+
[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),