X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=index.md;h=aab7b6491b3a52be2abe7333845ec4e19ee3d528;hb=e8c23105851bc8fa8c13d43de25cc1299760e663;hp=21ef6a916af30b06b95c609116cc9a041fb57b26;hpb=f5c63cad751c5f00d968f491dc3e6135242e72cf;p=martlubbers.net.git diff --git a/index.md b/index.md index 21ef6a9..aab7b64 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 @@ -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)) - 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