From: Mart Lubbers Date: Thu, 14 Jul 2022 08:10:02 +0000 (+0000) Subject: thesis X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=d84df1aee7c3c64d427ad15c062ffdb2f234de07;p=martlubbers.net.git thesis --- diff --git a/files/antonova.pdf b/files/antonova.pdf new file mode 100644 index 0000000..1bbd75b Binary files /dev/null and b/files/antonova.pdf differ diff --git a/index.md b/index.md index 56c3c3d..63b9059 100644 --- a/index.md +++ b/index.md @@ -54,6 +54,8 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ## Publications ### Peer reviewed +- M. Lubbers, “Deep Embedding with Class”, in Trends in Functional Programming, Cham, in-press 2022, p. 19. +- S. Crooijmans, M. Lubbers, and P. Koopman, “Reducing the Power Consumption of IoT with Task-Oriented Programming”, in Trends in Functional Programming, Cham, in-press 2022, p. 20. - 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. @@ -78,8 +80,8 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ### Student supervision -- E. Antonova, "T.B.A," Bachelor's Thesis, Radboud University, Nijmegen, 2022 (exp.) - (daily supervisor) +- E. Antonova, "mTask semantics and its comparison to TopHat," Bachelor's Thesis, Radboud University, Nijmegen, 2022 + ([pdf](files/antonova.pdf), second reader). - A.D. Nederveen, "A Task-Based Approach to the Internal Battle," Master’s Thesis (Military Technology, Processes & Systems), Netherlands Defence Academy, Den Helder, 2021 (pdf, daily supervisor). - G. Alberts, "Implementing Asynchronous I/O in iTasks," Master’s Thesis, Radboud University, Nijmegen, 2021 @@ -110,13 +112,19 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ## Teaching -- Compiler construction --- NWI-IMC004 (18/19, 19/20, 20/21, 21/22) +- 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) - 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 +- 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-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/))