Personal informationResearch areaTeaching and guiding studentsInteresting technologyLinks to interesting sites
Rick van Rein, PhD student:
[SELECT TOPIC]

English (useful if your browser settings are wrong)

Mijn proefschrift

    Model Checking uitgebreid naar Object Proces Validatie

    Welkom! Hieronder vind je mijn proefschrift, gereed voor downloaden. 't Was hard werken, maar het was het waard. Sommige dingen zijn voornamelijk van wetenschappelijk belang, andere dingen zijn voor een breder publiek interessant.

Het proefschrift

Mijn proefschrift bestaat uit de volgende onderdelen:

  • Het eigenlijke proefschrift, geschreven in het Engels en beschikbaar in PDF formaat met mijn digitale handtekening.

    Dit is het wetenschappelijke document, met een informele Nederlandstalige uitleg in Appendix A en met een Nederlands uittreksel in Appendix C.
  • Stellingen, beschikbaar in PDF formaat met mijn digitale handtekening; ook beschikbaar als webpagina.

    Deze hebben een wetenschappelijk karakter, maar spreken zich uit over een breder gebied dan mijn proefschrift. Niet-wetenschappers vinden het doorgaans leuk om ze te lezen.

Beide zijn in gedrukte vorm beschikbaar bij de ingang van mijn verdediging.

Persbericht

De pers is vermoedelijk vooral geinteresseerd in de volgende delen van mijn werk:

  • Het persbericht
  • De lijst met stellingen behorende bij mijn proefschrift
  • Appendices A en C van het proefschrift
  • Momenteel nog onder de kurk zijn mijn plannen tot het opzetten van een certification authority. Dat houdt in dat ik diverse creatieve toepassingen van digitale handtekeningen op de markt ga brengen onder de naam OpenFortress.

Synchromania

Formeel geen onderdeel van mijn proefschrift (het was te lang om geaccepteerd te worden) maar zeker gerelateerd qua onderwerp is mijn Engelstalige Science Fiction verhaal Synchromania.

Dit verhaal is ook beschikbaar bij de ingang van mijn verdediging.

De verdediging

De verdediging van mijn proefschrift wordt gehouden op dondedag 2 mei 2002. De verdediging is een openbare plechtigheid, en je bent van harte welkom om hem te bezoeken.

Het officiele deel van de verdediging begint om 13:15, maar de meesten komen liever al om 13:00, om een informele inleiding op het onderwerp te krijgen. De eigenlijke verdediging duurt tot 14:00; daarna neemt de promotiecommissie nog wat tijd om mijn verdediging te evalueren en te beslissing of ik de graad van doctor waardig ben.

Mijn promotiecommissie bestaat uit de volgende wetenschappers:

  • Prof.dr. P.M.G. Apers (promotor)
  • Dr. M.M. Fokkinga (assistent-promotor)
  • Dr.ir. A. Rensink
  • Prof.dr. R.J. Wieringa
  • Prof.dr. K.M. van Hee (TU Eindhoven)
  • Prof.dr. O. Nierstrasz (Universiteit van Bern)

Reisinstrukties

Een beschrijving over het vinden van de universiteit vind je hier. Het BB-gebouw is links na de hoofdingang, en de zaal BB-2 zit in de collegezalenvleugel. Uitgenodigde gasten zullen ook geinteresseerd zijn in het vinden van Het Paradijs.

Kadotips

Voor wie het niet laten kan: kijk eens op mijn online verlanglijstje.