index.html

   1 <!DOCTYPE html>
   2 <html lang="en">
   3         <head>
   4                 <title>Mart Lubbers' Site</title>
   5                 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
   6                 <meta name="viewport" content="width=device-width, initial-scale=1" />
   7                 <style>
   8                         td {
   9                                 vertical-align: top;
  10                         }
  11                         th {
  12                                 text-align: left;
  13                         }
  14                 </style>
  15         </head>
  16         <body>
  17                 <header>
  18                         <h1>Mart Lubbers</h1>
  19                         <p>
  20                         <a href="./p.jpg"><img src="./psmall.jpg" alt="A photo of Mart Lubbers." /></a><br />
  21                         PhD candidate at the <a href="https://cs.ru.nl">Institute of Computing and Information Sciences</a> (<a href="https://ru.nl">Radboud University</a>)<br />
  22                         <span style="font-family:monospace">mart@martlubbers.net</span> (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 />
  23                         <span style="font-family:monospace">mart@cs.ru.nl</span><br />
  24                         </p>
  25
  26                         <nav>
  27                                 <h2>Table of contents</h2>
  28                                 <ul>
  29                                         <li><a href="#work">Work</a></li>
  30                                         <li><a href="#publications">Publications</a>
  31                                                 <ul>
  32                                                         <li><a href="#peer">Peer reviewed</a></li>
  33                                                         <li><a href="#student">Student supervision</a></li>
  34                                                         <li><a href="#theses">Theses</a></li>
  35                                                         <li><a href="#posters">Posters</a></li>
  36                                                 </ul>
  37                                         </li>
  38                                         <li><a href="#teaching">Teaching</a></li>
  39                                         <li><a href="#talks">Talks</a></li>
  40                                         <li><a href="#other">Other</a>
  41                                                 <ul>
  42                                                         <li><a href="#software">Software, libraries and projects</a></li>
  43                                                         <li><a href="#tutorials">Tutorials and manuals</a></li>
  44                                                         <li><a href="#interests">Interests</a></li>
  45                                                         <li><a href="#archive">Archive</a></li>
  46                                                 </ul>
  47                                         </li>
  48                                 </ul>
  49                         </nav>
  50                 </header>
  51
  52                 <h2 id="work">Work</h2>
  53                 <table>
  54                         <tr>
  55                                 <th>From</th>
  56                                 <th>Till</th>
  57                                 <th>Function</th>
  58                         </tr>
  59                         <tr>
  60                                 <td>2018-06</td>
  61                                 <td></td>
  62                                 <td>
  63                                         PhD candidate at the RU
  64                                 </td>
  65                         </tr>
  66                         <tr>
  67                                 <td>2018-02</td>
  68                                 <td>2018-05</td>
  69                                 <td>
  70                                         Researcher at the <a href="https://ru.nl">RU</a>
  71                                 </td>
  72                         </tr>
  73                         <tr>
  74                                 <td>2017-09</td>
  75                                 <td>2017-12</td>
  76                                 <td>
  77                                         Researcher/Teacher at the <a href="https://www.defensie.nl/onderwerpen/defensieacademie">NLDA</a>
  78                                 </td>
  79                         </tr>
  80                         <tr>
  81                                 <td>2017-07</td>
  82                                 <td>2017-12</td>
  83                                 <td>
  84                                         Programmer for <a href="http://www.wi-sense.nl/">Wi-Sense</a>.
  85                                 </td>
  86                         </tr>
  87                         <tr>
  88                                 <td>2016-02</td>
  89                                 <td>2017-07</td>
  90                                 <td>
  91                                         Student assistant at the Radboud University:<br />
  92                                         2016/2017: Functional Programming 1<br />
  93                                         2015/2016: Functional Programming 1, Functional Programming 2, Web Security<br />
  94                                 </td>
  95                         </tr>
  96                         <tr>
  97                                 <td>2015-04</td>
  98                                 <td>2017-06</td>
  99                                 <td>Owner of ITLubbers.</td>
 100                         </tr>
 101                         <tr>
 102                                 <td>2013-06</td>
 103                                 <td>2015-12</td>
 104                                 <td>Student Assistant at <a href="http://www.mpi.nl/">Max Planck Institute for Psycholinguistics</a>
 105                                         Processing and collecting data and developing software in the <a href="http://www.mpi.nl/departments/language-and-cognition">LaC</a> department.</td>
 106                         </tr>
 107                         <tr>
 108                                 <td>2012-03</td>
 109                                 <td>2013-08</td>
 110                                 <td>Student at <a href="http://www.studentaanhuis.nl">Studentaanhuis.nl</a></td>
 111                         </tr>
 112                 </table>
 113
 114                 <h2 id="publications">Publications</h2>
 115                 <h3 id="peer">Peer reviewed</h3>
 116                 <ul>
 117                         <li>
 118                                 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.
 119                                         (<a href="files/iot20.pdf">pdf</a>)
 120                         </li><li>
 121                                 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.
 122                                         <!--(<a href="files/ifl19.pdf">pdf</a>)-->
 123                         </li><li>
 124                                 M. Lubbers, P. Koopman, and R. Plasmeijer, “Writing Internet of Things applications with Task Oriented Programming,” in Central European Functional Programming School: 8th Summer School, CEFP 2019, Budapest, Hungary, July 17–21, 2019, Revised Selected Papers, Cham: Springer International Publishing, in-press, 2019, p. 51.
 125                                         <!--(<a href="files/cefp19.pdf">pdf</a>)-->
 126                         </li><li>
 127                                 P. Koopman, M. Lubbers, and R. Plasmeijer, “Simulation of a Task-Based Embedded Domain Specific Language for the Internet of Things,” in Central European Functional Programming School: 7th Winter School, CEFP 2018, Košice, Slovakia, January 22–26, 2018, Revised Selected Papers, Cham: Springer International Publishing, in-press, 2018, <!--p. ?-->.
 128                                         <!--(<a href="files/cefp18.pdf">pdf</a>)-->
 129                         </li><li>
 130                                 M. Lubbers, P. Koopman, and R. Plasmeijer, “Multitasking on Microcontrollers using Task Oriented Programming,” in 2019 42st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, Croatia, pp. 1587-1592.
 131                                         (<a href="files/3cows.pdf">pdf</a>)
 132                         </li><li>
 133                                 M. Lubbers, P. Koopman, and R. Plasmeijer, “Task Oriented Programming and the Internet of Things,” in Proceedings of the 30th Symposium on the Implementation and Application of Functional Programming Languages, Lowell, MA, 2018, pp. 83–94.
 134                                         (<a href="files/ifl18.pdf">pdf</a>)
 135                         </li><li>
 136                                 P. Koopman, M. Lubbers, and R. Plasmeijer, “A Task-Based DSL for Microcomputers,” in Proceedings of the Real World Domain Specific Languages Workshop, 2018, pp. 1–11.
 137                                         (<a href="files/rwdsl17.pdf">pdf</a>)
 138                         </li>
 139                 </ul>
 140
 141                 <h3 id="theses">Theses</h3>
 142                 <ul>
 143                         <li>
 144                                 M. Lubbers, “Task Oriented Programming and the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2017.
 145                                         (<a href="files/master.pdf">pdf</a>)
 146                         </li><li>
 147                                 M. Lubbers, “Adaptable crawler specification generation system for leisure activity RSS feeds,” Bachelor's Thesis, Radboud University, Nijmegen, 2015.
 148                                         (<a href="files/bachelor.pdf">pdf</a>)
 149                         </li>
 150                 </ul>
 151
 152                 <h3 id="student">Student supervision</h3>
 153                 <ul>
 154                         <li>
 155                                 D.J.M. Artz, "Information Technology Support for the Arterial Thoracic Outlet Syndrome," Bachelor’s Thesis, Radboud University, Nijmegen, 2020
 156                                         (<a href="files/artz.pdf">pdf</a>, second reader).
 157                         </li><li>
 158                                 M.L. de Boer, "Secure Communication Channels for mTask," Bachelor’s Thesis, Radboud University, Nijmegen, 2020
 159                                         (<a href="files/boer.pdf">pdf</a>, daily supervisor).
 160                         </li><li>
 161                                 VDG W.F.T. Vos, "Draadloze prestaties van de Wemos D1 Mini V3," Bachelor’s Thesis, Netherlands Defence Academy, Den Helder, 2020
 162                                         (<a href="#" title="On request">pdf</a>, client).
 163                         </li><li>
 164                                 E. van der Veen, "Mutable Collection Types in Shallow Embedded DSLs," Master’s Thesis, Radboud University, Nijmegen, 2020
 165                                 (<a href="files/veen.pdf">pdf</a>, daily supervisor).
 166                         </li><li>
 167                                 H. Böhm, “Asynchronous Actions in a Synchronous World,” Master’s Thesis, Radboud University, Nijmegen, 2019
 168                                         (<a href="files/böhm.pdf">pdf</a>, daily supervisor/second reader).
 169                         </li><li>
 170                                 M. Amazonas Cabral De Andrade, “Developing Real Life, Task Oriented Applications for the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2018
 171                                         (<a href="files/andrade.pdf">pdf</a>, daily supervisor).
 172                         </li>
 173                 </ul>
 174
 175                 <h3 id="posters">Posters</h3>
 176                 <ul>
 177                         <li>
 178                                 W. Schuerman, F. Torreira, and Lubbers, M, “Praatalign: Phonetic Alignment Made Easier For Psycholinguistic Data Processing,” Architectures and Mechanisms for Language Processing, p. 92, 2015.
 179                                 (<a href="files/amlap15.pdf">pdf</a>)
 180                         </li>
 181                 </ul>
 182
 183                 <h2 id="teaching">Teaching</h2>
 184                 <table>
 185                         <tr>
 186                                 <th>Date</th>
 187                                 <th>Description</th>
 188                                 <th>Course</th>
 189                         </tr>
 190                         <tr>
 191                                 <td>2020/2021-Q3,Q4</td>
 192                                 <td>Compiler Construction (half of the lectures, orals)</td>
 193                                 <td>NWI-IMC004 (RU)</td>
 194                         </tr>
 195                         <tr>
 196                                 <td>2020/2021-Q1,Q2</td>
 197                                 <td>New Devices Lab (one lecture, practicals)</td>
 198                                 <td>NWI-IBC031 (RU)</td>
 199                         </tr>
 200                         <tr>
 201                                 <td>2019/2020-Q3,Q4</td>
 202                                 <td>Compiler Construction (half of the lectures, orals)</td>
 203                                 <td>NWI-IMC004 (RU)</td>
 204                         </tr>
 205                         <tr>
 206                                 <td>2019/2020-Q3</td>
 207                                 <td>Computers en Programmeren (support the practicals)</td>
 208                                 <td>TCP1 (<a href="https://www.defensie.nl/onderwerpen/defensieacademie">NLDA</a>)</td>
 209                         </tr>
 210                         <tr>
 211                                 <td>2018/2019-Q3,Q4</td>
 212                                 <td>Compiler Construction (half of the lectures, all seminars, orals)</td>
 213                                 <td>NWI-IMC004 (RU)</td>
 214                         </tr>
 215                         <tr>
 216                                 <td>2018/2019-Q1,Q2</td>
 217                                 <td>Advanced Functional Programming (grading and half of the seminars)</td>
 218                                 <td>NWI-I00032 (<a href="https://ru.nl">RU</a>)</td>
 219                         </tr>
 220                 </table>
 221
 222                 <h2 id="talks">Talks</h2>
 223                 <table>
 224                         <tr>
 225                                 <th>Date/Files</th>
 226                                 <th>Description</th>
 227                                 <th>Link</th>
 228                         </tr>
 229                         <tr>
 230                                 <td>2021-04-07</td>
 231                                 <td>Deep Embedding with Class</td>
 232                                 <td><a href="https://www.sws.cs.ru.nl/SWSSeminar">SWSSeminar</a></td>
 233                         </tr>
 234                         <tr>
 235                                 <td>2021-02-17</td>
 236                                 <td>Asynchronous Shared Data Sources</td>
 237                                 <td><a href="http://tfp2021.org">TFP 2021/LambdaDays 2021</a></td>
 238                         </tr>
 239                         <tr>
 240                                 <td>2020-10-06</td>
 241                                 <td>Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures</td>
 242                                 <td><a href="https://iot-conference.org/iot2020/">IoT 2020</a></td>
 243                         </tr>
 244                         <tr>
 245                                 <td>2020-09-02</td>
 246                                 <td>Asynchronous Shared Data Sources</td>
 247                                 <td><a href="https://www.cs.kent.ac.uk/events/2020/ifl20/">IFL 2020</a></td>
 248                         </tr>
 249                         <tr>
 250                                 <td>2019-11-18</td>
 251                                 <td>The fun of computing science: footballer brains in SoccerFun</td>
 252                                 <td><a href="https://www.ru.nl/opleidingen/bacheloropleidingen/open-dagen-en-studievoorlichting/proefstuderen/" title="Proefstudeermiddag">RU</a></td>
 253                         </tr>
 254                         <tr>
 255                                 <td>2019-09-25</td>
 256                                 <td>Interpreting Task Oriented Programs on Tiny Computers</td>
 257                                 <td><a href="http://2019.iflconference.org/">IFL 2019</a></td>
 258                         </tr>
 259                         <tr>
 260                                 <td>2019-07-03</td>
 261                                 <td>Promoveren en Functioneel Programmeren</td>
 262                                 <td><a href="http://helenpark.nl/De_school/Nieuws_/_Actueel/Item/Studium%20Generale%20met%20ruim%20zestig%20gastsprekers.wli">Studium Generale 2019</a></td>
 263                         </tr>
 264                         <tr>
 265                                 <td>2019-06-17</td>
 266                                 <td>Task Oriented Programming for the Internet of Things (lecture and practical)</td>
 267                                 <td><a href="https://people.inf.elte.hu/cefp">CEFP19</a></td>
 268                         </tr>
 269                         <tr>
 270                                 <td>2019-05-21</td>
 271                                 <td>Multitasking on Microcontrollers using Task Oriented Programming</td>
 272                                 <td><a href="http://www.mipro.hr/MIPRO2019.4COWS/ELink.aspx">4COWS19</a></td>
 273                         </tr>
 274                         <tr>
 275                                 <td>2018-11-29</td>
 276                                 <td>Task Oriented Programming and the Internet of Things.</td>
 277                                 <td><a href="https://conf.researchr.org/home/plnl-2018">PLNL18</a></td>
 278                         </tr>
 279                         <tr>
 280                                 <td>2018-10-23,24,25</td>
 281                                 <td>Three day teacher training on TOP and IOT for the 3COWS project.</td>
 282                                 <td><a href="https://kpi.fei.tuke.sk/en/user/szabo-csaba/focusing-education-composability-comprehensibility-and-correctness-working-software">3COWS</a></td>
 283                         </tr>
 284                         <tr>
 285                                 <td>2018-01-05</td>
 286                                 <td>Task Oriented Pearl: Distributed Blockchain Applications.</td>
 287                                 <td><a href="http://wiki.clean.cs.ru.nl/NL-FP_dag_2018">NLFP18</a></td>
 288                         </tr>
 289                         <tr>
 290                                 <td>2017-08-31</td>
 291                                 <td>Task Oriented Programming and the Internet of Things.</td>
 292                                 <td><a href="http://2017.iflconference.org/">IFL 2017</a></td>
 293                         </tr>
 294                         <tr>
 295                                 <td><a href="https://git.martlubbers.net/?p=mastervoorlichting16.git">2017-03-11</a></td>
 296                                 <td><a href="http://www.ru.nl/english/education/masters/software-science/" title="The evening incorporated standing on the masters market to provide information for upcoming students">Software Science</a> masters. <a href="http://ru.nl">RU</a>.</td>
 297                                 <td></td>
 298                         </tr>
 299                         <tr>
 300                                 <td><a href="https://git.martlubbers.net/?p=mastervoorlichting16.git">2016-11-17</a></td>
 301                                 <td><a href="http://www.ru.nl/english/education/masters/software-science/" title="The evening incorporated standing on the masters market to provide information for upcoming students">Software Science</a> masters. <a href="http://ru.nl">RU</a>.</td>
 302                                 <td></td>
 303                         </tr>
 304                         <tr>
 305                                 <td><a href="https://git.martlubbers.net/?p=linuxnijmegen-make.git">2016-11-09</a></td>
 306                                 <td><a href="https://www.gnu.org/software/make/">GNU Make</a> workshop. <a href="http://www.linuxnijmegen.nl/">LUGN</a></td>
 307                                 <td></td>
 308                         </tr>
 309                         <tr>
 310                                 <td><a href="https://git.martlubbers.net/?p=ai-workshop.git">2016-03-16</a></td>
 311                                 <td><a href="http://www.git-scm.com/">Git</a> workshop for <a href="http://www.ru.nl/artificialintelligence/">AI</a> students.</td>
 312                                 <td></td>
 313                         </tr>
 314                         <tr>
 315                                 <td><a href="https://git.martlubbers.net/?p=linuxnijmegen-latex.git">2015-12-08</a></td>
 316                                 <td><a href="https://www.latex-project.org">LaTeX</a> workshop. <a href="http://www.linuxnijmegen.nl/">LUGN</a></td>
 317                                 <td></td>
 318                         </tr>
 319                         <tr>
 320                                 <td><a href="https://git.martlubbers.net/?p=linuxnijmegen-mutt.git">2015-07-14</a></td>
 321                                 <td><a href="http://mutt.org">Mutt</a> workshop. <a href="http://www.linuxnijmegen.nl/">LUGN</a></td>
 322                                 <td></td>
 323                         </tr>
 324                         <tr>
 325                                 <td><a href="https://git.martlubbers.net/?p=ai-gitflashtalk.git">2015-04-20</a></td>
 326                                 <td><a href="http://www.git-scm.com/">Git</a> flashtalk for <a href="http://www.ru.nl/artificialintelligence/">AI</a> students.</td>
 327                                 <td></td>
 328                         </tr>
 329                         <tr>
 330                                 <td><a href="files/pympi_presentation2014.zip">2014-09-29</a></td>
 331                                 <td><a href="https://tla.mpi.nl/tools/tla-tools/elan/">ELAN</a>-<a href="https://www.python.org/">Python</a> mini-course(<a href="https://github.com/dopefishh/pympi">pympi</a>). <a href="http://www.mpi.nl">MPI</a></td>
 332                                 <td></td>
 333                         </tr>
 334                         <tr>
 335                                 <td><a href="https://git.martlubbers.net/?p=linuxnijmegen-bash.git">2014-09-09</a></td>
 336                                 <td>Introduction to the command line and <a href="https://www.gnu.org/software/bash/">bash</a>. <a href="http://www.linuxnijmegen.nl/">LUGN</a></td>
 337                                 <td></td>
 338                         </tr>
 339                         <tr>
 340                                 <td><a href="https://git.martlubbers.net/?p=linuxnijmegen-ssh.git">2014-07-08</a></td>
 341                                 <td>Advanced usage of <a href="http://www.openssh.com/">ssh</a>. <a href="http://www.linuxnijmegen.nl/">LUGN</a></td>
 342                                 <td></td>
 343                         </tr>
 344                 </table>
 345
 346                 <h2 id="other">Other</h2>
 347                 <h3 id="software">Software, libraries and projects</h3>
 348                 <ul>
 349                         <li><a href="https://github.com/dopefishh/m">m</a> - `m' is for music, an extremely fast music indexer written in plain C.</li>
 350                         <li><a href="https://github.com/dopefishh/cloogle">cloogle</a> - Cloogle, a hoogle clone for clean. <a href="http://cloogle.org">Live version here</a>.</li>
 351                         <li><a href="https://github.com/dopefishh/praatalign">praatalign</a> - An interactive praat forced aligner, easily extensible for more languages.</li>
 352                         <li><a href="https://github.com/dopefishh/pympi">pympi</a> - A python toolkit to interact with Praat and Elan files.</li>
 353                 </ul>
 354
 355                 <h3 id="tutorials">Tutorials and manuals</h3>
 356                 <ul>
 357                         <li><a href="nonm.html">Wifi roaming without network manager (includes eduroam ru instructions)</a> (Updated 2020-09-16)</li>
 358                         <li><a href="dvorak.html">Dvorak page</a> (Updated 2020-06-11)</li>
 359                 </ul>
 360
 361                 <h3 id="interests">Interests</h3>
 362                 <p>
 363                 Reading,
 364                 Heavy metal music,
 365                 Hacking,
 366                 <a href="http://www.howchuenmonkeykungfu.nl">Kung fu</a>,
 367                 <a href="http://linuxnijmegen.nl">Linux</a>,
 368                 <a href="langes.html">ſ-homografen</a>.
 369                 </p>
 370
 371                 <h3 id="archive">Archive</h3>
 372                 <p>
 373                 <a href="archive/thin.html">Using a HP t5710 thin client as a retro system</a>
 374                 <a href="archive/lejos-ubuntu.html">LeJoS on ubuntu</a>,
 375                 <a href="archive/youtube-term.html">Play youtube videos on headless machine</a>,
 376                 <a href="archive/nsa-dropbox.html">Use any untrusted linux cloud storage safe</a>,
 377                 <a href="archive/wlan-debian.html">Wlan w.o. network manager on debian</a>.
 378                 </p>
 379
 380                 <footer>
 381                         <p>Valid HTML 5 and optimized for screen readers.</p>
 382                         <p>Best viewed with a screen resolution at least &ge;640x480 or at least &ge;80x24 text mode in one of <a href="https://en.wikipedia.org/wiki/List_of_web_browsers">these browsers.</a></p>
 383                         <p><a href="https://git.martlubbers.net/?p=martlubbers.net.git">Source code for this website</a></p>
 384                         <p>Last updated: 2021-04-07</p>
 385                 </footer>
 386         </body>
 387 </html>