Documenten: Regeling MasterScripties, Richtlijnen Bedrijfsstages, Opzet Bachelorproject
Supervised by Rob van der Mei (CWI/VU), Daphne van Leeuwen (CWI), Frank Ottenhof (TrafficLink) and me, Bart van Gerwen wrote a Master thesis Coordination and control of traffic at bottleneck areas, which he finished in October of 2017 after an internship at TrafficLink.
Supervised by Dan Roozemond (Quintiq) and me (as second reader) Jeroen de Jong wrote a Master thesis Solving the train crew scheduling problem (non-confidential version) which he finished in October of 2017.
Nick Hupkes wrote a Bachelor thesis on Moore graphs and generalizations (geometries, cages): Moore grafen which he finished in August of 2017.
In July 2017 Stijn van de Lockand wrote a Bachelor thesis Kwadraatrepresentatie under my supervision with Bernd Souvignier as second reader, in which he looked at algorithms for representing natural numbers as sums of (two, three, four) squares.
The final report by Grzegorz Baltissen, Jorrit Bastings, Rebekka Willenberg and Robin Wubs describes there work on a follow-up project for Royal Smit.
In July 2017 Erik Bosch produced his Master Thesis, written under supervision of Leen Stougie (CWI, Amsterdam) Analyzing variations of the Vehicle Routing Problem, for which I was the local supervisor and second reader.
In 2017 Sal Wolffs finished his Bachelor project Transcription Factor Footprint Analysis under supervision of Colin Logie (RIMS/Molecular Biology) and myself. Part of his work consists of additional source files and data.
At the TU Eindhoven, Daniël Kuijsters wrote his Master's thesis Coding Theory: A Gröbner Basis Approach under supervision of dr G.R. Pellikaan; I assisted with some implementation issues (in Magma) and served on the thesis committee.
In January 2017 Angela Brands finished her Master project Automatic generation of schematic diagrams of the Dutch railway network under supervision of dr Rob Udink (CGI) and myself.
In January 2017 Margot van Hoek finished her Bachelor thesis RIPS -- Rechtlijnig ingebedde planaire subgrafen under my supervision.
In August 2016 Koen de Boer finished his Master thesis Computing the power residue symbol under supervision of prof. dr Hendrik Lenstra (Leiden) and myself.
In July 2016 Marloes Venema finished her Bachelor thesis `P=NP' versus Crypto under supervision my supervision.
In June 2016 Lieke-Rosa Koetsier finished her Bachelor thesis Koetsier-figuren under supervision of Bernd Souvignier and myself.
Here is the final report by Simone Clarisse, Iris van der Giessen, Rens Peters, Daja van de Vosse, Anita Kosman, Sterre den Breeijen on their project for Royal Smit.
In December 2015 Bastiaan Cijsouw finished his Master thesis Complex Continued Fraction Algorithms and gave a presentation of his results in the presence of co-supervisor Jeff Shallit (Waterloo).
In the first half of 2015 Michiel van der Meulen did a Master's project at Liander, which culminated in his Master thesis Reconfiguring electricity distribution networks to minimize power loss (NP-harness and efficient approximation algorithms)", co-supervised with drs ir Robin Hagemans and ir Werner van Westering of the Liander company.
Lieke Meussen wrote a Master thesis under supervision of prof dr J.L. Hurink and T. van der Klauw at the University of Twente Electrical vehicle charging under two types of steering signals with a lower bound, in which I was involved as Radboud representative and second reader.
In June of 2015 Gijsbert van Vliet finished his Master thesis The use of elliptic curves in cryptography co-supervised with Ben Moonen. He made a great effort to produce a version of all formulae related to Schoof's algorithm for point counting without typos, that can be found in the Appendix. Also a Magma language version was produced.
I served as second reader on Geert Popma's Master thesis Toric geometry supervised by Ben Moonen.
Jelte Zwetsloot wrote a Bachelor thesis Uitbreidingen van Fourier's 17 lijnen probleem (Dutch) in the spring of 2015.
Renée Lenders wrote a Bachelor thesis Kleurgetal van reële ruimten (Dutch).
Hannah Marcusse finished her Bachelor thesis Over het rangschikken van spelers in een toernooi (Dutch) in January 2015.
The final report by for the Modellenpracticum-project 2014, by Baukje Debets, Elena Fuentes Bongenaar, Giselle Loeffen, Jeroen Pijnenburg, Daan van Rozendaal en André Schemaitat for Topicus.
reported on Steinberg's Conjecture.
David Venhoek wrote a Bachelor thesis Continued fractions over function fields in English, as part of his Honours program.
Eline Renskers wrote her Bachelor thesis Tutte polynoom (in Dutch).
Maartje Geurts wrote her Bachelor thesis Wiskundige aspecten van de Sudoku (in Dutch).
Iris van Veghel wrote her Bachelor thesis Match made in heaven -- Het vinden van gelijken in organisaties (in Dutch) while doing an internship at GuruScan (Bart Verheijen).
Notes of a course in continued fractions, supervised by Cor Kraaikamp and Wieb Bosma, by: Sandra Hommersom, Merlijn Keune, Chris Kooloos, Willem van Loon, Roy Loos, Ewelina Omiljan, Geert Popma, David Venhoek, and Maaike Zwart.
reported on Strong Edge Coloring.
In September, Noud Aldenhoven finished his Master thesis on Algorithms on Continued Fractions.
In August, Joris Luijsterburg finished his Master thesis.
Mike Hoffmeister wrote a Bachelor thesis Op zoek naar de Hamilton cykel (in Dutch).
By the end of June, Sep Thijssen submitted his Master thesis.
June 2, Tanneke Ouboter received her Master of Science degree (cum laude), after finishing her Master thesis Stochastic epidemic models for populations with social structures under supervision of prof. Ronald Meester (at the Vrije Universiteit Amsterdam).
Janneke van den Boomen finished her M.Sc. thesis in graph theory, entitled Isomorphism classes of spanning trees.
Tim Verheijen wrote a Bachelor Thesis on the Hill cipher: De Hill Cipher herzien (in Dutch).
Mart Kelder wrote a Bachelor Thesis on Complex Continued Fractions (in Dutch).
Joris Luijsterburg wrote a Bachelor Thesis on the subject of Coëfficiënten van cyclotomische polynomen (in Dutch).
Dennis Meffert finished a Master Thesis (for computer science) that I supervised (with Dick van Leijenhorst). It is about Bilinear Pairings in Cryptography.
Ken Madlener wrote a Bachelor's Thesis Automatic Geometric Theorem Proving using Gröbner Bases.
He received his B.Sc. in Mathematics on 31 October 2008.
Sep Thijssen wrote a Bachelor's Thesis entitled Denesting conditions.
He received his B.Sc. in Mathematics on 31 October 2008.
Joris Sprunken wrote a Bachelor's Thesis entitled Anti-magische Grafen.
He received his B.Sc. in Mathematics in August 2007?
Janneke van de Boomen wrote a Bachelor's Thesis entitled The Matrix Tree Theorem.
She received her B.Sc. in Mathematics in August 2007?
Marcel Gorissen wrote a Master's Thesis entitled Generating Finite Projective Planes from Non-Paratopic Latin Squares.
He graduated as M.Sc. in Mathematics on January 31, 2007.
Renée Hoogveld finished her Bachelor thesis Kettingbreuken en het Planetarium van Christiaan Huygens (Dutch) in October 2006.
Loes Paffen graduated as M.Sc. in Mathematics on October 6, 2005 on a Master's Thesis Golay codes and Gröbner bases (in Dutch)
Mascha Honsbeek wrote her Ph.D. thesis in Mathematics in Nijmegen. The thesis was titled Radical extensions and Galois groups.
She graduated in Nijmegen on May 17, 2005.
Bart Kirkels graduated as M.Sc. in Mathematics on October 8, 2004; he wrote a Master's thesis on Irreducibility Certificates for Polynomials with Integer Coefficients.
Here is a proof of the irreducibility criterion as described in the thesis, implemented in the Proof Assistant Coq
There are 4 files of Magma code implementing various methods for generating irreducibility certificates. The main modular method, code for the certificates based on Bunyakovsky's Conjecture, and on Eisenstein's method. Useful help functions should be loaded first.
Mink Assies graduated as M.Sc. in Mathematics on June 10, 2004; he wrote a Master's thesis On the maximal size of codes of length 3 with the 2-identifiable parent property.
Lucie van der Logt wrote her doctoraalscriptie in July of 2001. It is entitled XTR, a public key cryptosystem.
She graduated in Nijmegen on ??, 2001.