\project thesis
\startcomponent titelblad

\start % lokale formatting
\setupheadertexts[][][][]
\setupindenting[no]
\setupwhitespace[big]

\startalignment[center]
\switchtobodyfont[20pt]
{\sc Nominal Techniques and Black Box Testing for Automata Learning}
\vfill\nl

\switchtobodyfont[12pt]
Proefschrift\\

ter verkrijging van de graad van doctor\\
aan de Radboud Universiteit Nijmegen\\
op gezag van de rector magnificus prof. dr. J.H.J.M. van Krieken,\\
volgens besluit van het college van decanen\\
in het openbaar te verdedigen\\

op\\
maandag 1 juli 2019\\
om\\
16.30 uur precies
\vfill

door\\

{\it Joshua Moerman}\\
geboren op 1 oktober 1991\\
te Utrecht
\vfill
\stopalignment

\page[left]
\startalignment[flushleft]
Promotor(en):
\startitemize[after]
\item prof. dr. F.W. Vaandrager
\item prof. dr. A. Silva (University College London, Londen, Verenigd Koninkrijk)
\stopitemize

Copromotor(en):
\startitemize[after]
\item dr. S.A. Terwijn
\stopitemize

Leden manuscriptcommissie:
\startitemize[after]
\item prof. dr. B.P.F. Jacobs
\item prof. dr. A.R. Cavalli (Institut Mines-T / Télécom SudParis, Évry, Frankrijk)
\item prof. dr. F. Howar (Dortmund University of Technology, Dortmund, Duitsland)
\item prof. dr. S. Lasota (University of Warsaw, Warschau, Polen) (verhinderd)
\item dr. D. Petrisan (Université Paris Diderot, Parijs, Frankrijk) (verhinderd)
\stopitemize

Overige leden:
\startitemize[after]
\item prof. dr. ir. J.F. Groote (TUE)
\item dr. J.A. Perez (RUG)
\item dr. P. Brunet (University College London, Londen, Verenigd Koninkrijk)
\stopitemize
\stopalignment

\en\stop
\page[yes]

\stopcomponent