summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--resources/pug/finals/index.pug79
1 files changed, 39 insertions, 40 deletions
diff --git a/resources/pug/finals/index.pug b/resources/pug/finals/index.pug
index 2fa34cf..5086cc0 100644
--- a/resources/pug/finals/index.pug
+++ b/resources/pug/finals/index.pug
@@ -19,45 +19,6 @@ block content
hr
- h2 Work
- table.main_table
- tr
- td 2015–present
- td
- p Student assistant at the #[a(href="https://www.ru.nl/science") Faculty of Science] at the Radboud University Nijmegen.
-
- mixin saItem(guide, name)
- | #[a(href=guide)= name],
-
- mixin lastSaItem(guide, name)
- a(href=guide)= name
-
- p 2018: work on automated testing of #[a(href="http://clean.cs.ru.nl/Clean") Clean] libraries
-
- p
- | 2017–18:
- +saItem("https://sis.ru.nl/osiris-student/OnderwijsCatalogusSelect.do?selectie=cursus&collegejaar=2017&cursus=NWI-IBC016", "Combinatorics")
- +lastSaItem("https://sis.ru.nl/osiris-student/OnderwijsCatalogusSelect.do?selectie=cursus&collegejaar=2017&cursus=NWI-IBC015", "Functional Programming for AI")
-
- p
- | 2016–17:
- +saItem("https://studiegids.science.ru.nl/2016/science/prospectus/inf_ba/course/40559/", "Algorithms and Data Structures")
- +saItem("https://studiegids.science.ru.nl/2016/science/course/40511/", "Combinatorics")
- +saItem("https://studiegids.science.ru.nl/2016/en/socsci/course/41452/", "Functional Programming for AI")
- +saItem("https://www.studiegids.science.ru.nl/2016/science/prospectus/inf_ba/course/40568/", "Functional Programming 1")
- +saItem("https://studiegids.science.ru.nl/2016/en/science/course/40564/", "Introduction to Cryptography")
- +lastSaItem("https://studiegids.science.ru.nl/2016/science/prospectus/inf_ba/course/40560/", "Operating Systems")
- p
- | 2015–16:
- +saItem("https://cs.ru.nl/~hubbers/courses/co_1516/", "Combinatorics")
- +saItem("https://studiegids.science.ru.nl/2015/science/prospectus/inf_ba/course/37072/", "Functional Programming 1")
- +saItem("https://studiegids.science.ru.nl/2015/course/37073/", "Functional Programming 2")
- +saItem("https://studiegids.science.ru.nl/2015/science/prospectus/inf_ba/course/37067/", "Introduction to Cryptography")
- +lastSaItem("https://cs.ru.nl/~hubbers/courses/ms_1516/", "Mathematical Structures")
- tr
- td 2013–present
- td Owner of ViviSoft. Contact me for any projects in software or hardware development.
-
h2 Publications
mixin pub(year, title)
p
@@ -132,6 +93,45 @@ block content
p Find more on #[a(href="https://github.com/camilstaps") GitHub] and #[a(href="https://git.camilstaps.nl/") git.camilstaps.nl].
+ h2 Work
+ table.main_table
+ tr
+ td 2015–present
+ td
+ p Student assistant at the #[a(href="https://www.ru.nl/science") Faculty of Science] at the Radboud University Nijmegen.
+
+ mixin saItem(guide, name)
+ | #[a(href=guide)= name],
+
+ mixin lastSaItem(guide, name)
+ a(href=guide)= name
+
+ p 2018: work on automated testing of #[a(href="http://clean.cs.ru.nl/Clean") Clean] libraries
+
+ p
+ | 2017–18:
+ +saItem("https://sis.ru.nl/osiris-student/OnderwijsCatalogusSelect.do?selectie=cursus&collegejaar=2017&cursus=NWI-IBC016", "Combinatorics")
+ +lastSaItem("https://sis.ru.nl/osiris-student/OnderwijsCatalogusSelect.do?selectie=cursus&collegejaar=2017&cursus=NWI-IBC015", "Functional Programming for AI")
+
+ p
+ | 2016–17:
+ +saItem("https://studiegids.science.ru.nl/2016/science/prospectus/inf_ba/course/40559/", "Algorithms and Data Structures")
+ +saItem("https://studiegids.science.ru.nl/2016/science/course/40511/", "Combinatorics")
+ +saItem("https://studiegids.science.ru.nl/2016/en/socsci/course/41452/", "Functional Programming for AI")
+ +saItem("https://www.studiegids.science.ru.nl/2016/science/prospectus/inf_ba/course/40568/", "Functional Programming 1")
+ +saItem("https://studiegids.science.ru.nl/2016/en/science/course/40564/", "Introduction to Cryptography")
+ +lastSaItem("https://studiegids.science.ru.nl/2016/science/prospectus/inf_ba/course/40560/", "Operating Systems")
+ p
+ | 2015–16:
+ +saItem("https://cs.ru.nl/~hubbers/courses/co_1516/", "Combinatorics")
+ +saItem("https://studiegids.science.ru.nl/2015/science/prospectus/inf_ba/course/37072/", "Functional Programming 1")
+ +saItem("https://studiegids.science.ru.nl/2015/course/37073/", "Functional Programming 2")
+ +saItem("https://studiegids.science.ru.nl/2015/science/prospectus/inf_ba/course/37067/", "Introduction to Cryptography")
+ +lastSaItem("https://cs.ru.nl/~hubbers/courses/ms_1516/", "Mathematical Structures")
+ tr
+ td 2013–present
+ td Owner of ViviSoft. Contact me for any projects in software or hardware development.
+
h2 Education
table.main_table
tr
@@ -146,7 +146,6 @@ block content
tr
td 2015–2017
td Pre-master #[a(href="https://www.ru.nl/opleidingen/bachelor/theologie/") Theology], Radboud University Nijmegen.
- p Some of my education-related work may be found on #[a(href="https://git.camilstaps.nl") git.camilstaps.nl].
h2 Other interests
ul