Matthijs Muis

Matthijs Muis

Double BSc student in Mathematics and Computer Science

Radboud University

About

I am a BSc student in Mathematics and in Computer Science at Radboud University. I also enjoy Physics courses, which for now will remain part of a minor. This website is primarily dedicated to professional study-related topics; you can scroll down to find my education, extracurricular experience, course summaries and projects. I also use this website to export some of my pastimes, such as drawing & painting.

Interests
  • Functional Analysis, Measure Theory
  • Manifolds
  • Random Graphs
  • Algorithms, Discrete Optimisation
  • Algebra
Education
  • BSc in Mathematics, Expected 2025

    Radboud University

  • BSc in Computer Science, Expected 2025

    Radboud University

  • VWO (Pre-university education), 2022

    Mill-Hill College

Education

 
 
 
 
 
Radboud University
BSc. Mathematics
September 2022 – Present Nijmegen
 
 
 
 
 
Radboud University
BSc. Computing Science
September 2022 – Present Nijmegen
 
 
 
 
 
Mill-Hill College
VWO
September 2016 – August 2022 Goirle

Courses: Physics (10/10), Chemistry (10/10), Biology (9/10), Mathematics B (10/10), Mathematics D (10/10), Latin (10/10), Spanish (10/10), English (9/10), Dutch (8/10). Final Project: “Optimizing Black Jack strategies using Reinforcement Learning” (10/10)

Extracurricular:

  • Followed 39 ec of BSc Mathematics courses at Radboud during my final years.
  • Econasium Programme (Tilburg University, extracurricular programme featuring Statistics course) (9.6/10).
  • Fast-Lane English Programme (finish English curriculum in 5 years instead of 6).
  • Extra course in Spanish.

Extra­curricular

Two-year extracurricular programme (24 ec.). Selection programme, 25 participants per year. Involvement with real research; expand bachelor thesis by 12 ec. and do part of it abroad
Summer school hosted by MPI-SWS on state-of-the-art research in computer science. Engagement in lectures and interaction with a highly international group of faculty and students.

In VWO-6 (final year of secondary school); Completed 39 ec. at Radboud before official enrollment.

  • Group Theory (10/10, 6 ec.)
  • Probability Theory (9.5/10, 3 ec.)
  • Linear Algebra A (10/10, 6 ec.)
  • Linear Algebra B (10/10, 6 ec.)
  • Introduction Mathematics (i.e. sets, proofs, Peano Arithmetic and Dedekind cuts) (10/10, 6 ec.)

In VWO-5 (penultimate year of secondary school); Completed 12 ec. at Radboud before official enrollment.

  • Calculus A (10/10, 6 ec.)
  • Calculus B (10/10, 6 ec.)

Accomplish­ments

Awarded for outstanding grades among first year BSc Computer Science students in the Netherlands. Prize of € 500.
Represented my secondary school (/34 participating member schools of OMO). Won the first prize of € 1200. Project title: "Optimizing Black Jack Strategies using Reinforcement Learning".
16th place overall, 9th place in my age class in the national finals. Hosted at TU Eindhoven.
Our duo scored 130/150 points on the wizPROF variant of the Dutch Kangaroo contest.

Projects

RUN2223 CPU practical
A CPU design in Digital. It is an implementation of the RUN2223 CPU, a 32-bit CPU ISA for the course Processors at Radboud University.
RUN2223 CPU practical
Water Pumping Problem
Graph Reduction + Dynamic Programming + Branch-and-Bound
Water Pumping Problem
Linear Regression (Statistics Final Project)
A final practical on regression analysis, for the course Statistics. We compare various linear models for explaining the market value of 52 companies from the Forbes500 1986 dataset.
Linear Regression (Statistics Final Project)
Minimum chain partitioning (using Hopcroft-Karp)
Efficient algorithm for a variant of the Box-Stacking problem (essentially a Dilworth chain partitioning problem). Constructs a bipartite matching and solves this with the Hopcroft-Karp Algorithm.
Minimum chain partitioning (using Hopcroft-Karp)
Operating Systems Projects

Three practical assignments for the course OS Concepts.

  1. Implementation of a simple shell.
  2. Parallelization, shared buffer.
  3. Caching, Paging.
Operating Systems Projects

Course Summaries

I keep a list of my summaries made for coursework at university. I only publish notes that are of sufficient quality to be read and used by others. If you have annotations, please let me know.
Analysis 2
Summary in LaTeX of the semester course Analysis 2 at Radboud University. From metric and topological spaces through diffeomorphisms and manifolds the Lebesgue integral and its limiting theorems.
Combinatorial Group Theory
Summary of the course Combinatorial Group Theory at Radboud University. Considers Cayley graphs, free groups, fundamental groups, actions on graphs, Nielsen-Schreier, presentations and knot/link groups. I followed this course in my first year, as a 2nd year’s elective.
Combinatorial Group Theory
Complex Analysis
Summary of the course Complex Analysis at Radboud University.
Measure Theory
Summary of the course Measure Theory
Measure Theory
Computability
Summary of Computability Theory, quarter course.
Computability
Game Theory
Summary for the course Game Theory at Radboud University: Transferrable Utility games, Matrix games, Bimatrix games.
Game Theory
Group Theory
Summary of the semester course in Groups at Radboud University. From some number theory, to automorphism groups and characteristic subgroups. If followed this course in my final year of high school via Radboud’s Pre-University College of Science.
Group Theory
Optimization in Geometry and Physics
Summary of the quarter course OGP, which derives the Euler-Lagrange equations with some other results on optimizing sufficiently regular functionals.
Representation Theory
Summary of the quarter course Representation Theory (Spring 2024).
Representation Theory
Rings and Fields
Summary of the semester course Rings and Fields at Radboud University. Part 1 treats Rings (with 1), in particular their Ideals, homomorphisms, UFDs, PIDs, ends with Symmetric Polynomials. Part 2 treats Fields, especially extensions, closures (splitting fields) and finite fields.
Rings and Fields
Topology
Summary of the semester course Topology (Spring 2024).
Topology
Analysis 1
Summary of the semester course Analysis 1 at Radboud University. Very similar in content to Garling’s A Course in Mathematical Analysis, Volume 1.
Analysis 1

Art

I enjoy drawing in my free time. You can find my favorite results on Google Photos. You can find even more on my instagram page.

Programming Languages

C/C++

Basic command of C. Some knowledge of STL. Courses:

  • Imperative Programming
  • Hacking in C
  • Operating System Concepts (see project)

Java

Basic command. Some knowledge of Collections API and Threads API. Courses: Object-Oriented Programming

Haskell

Basic command. Courses: Functional Programming

SQL

Basic command. Courses: Information Modelling and Databases

R

Basic command. Courses: Statistics (see project)

Contact

You can contact me via email, or get in touch via LinkedIn. I am sometimes active on Instagram, where I post some of my drawings.