\project thesis
\startcomponent titelblad

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

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

\switchtobodyfont[12pt]
Proefschrift
\vfill

ter verkrijging van de graad van {\it 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

\vfill

{\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, UK )
\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. Cavalli (Institut National des Telecommunications, Évry Cedex, France)
\item prof. dr. F. Howar (Dortmund University of Technology, Dortmund,Germany)
\item dr. D. Petrisan (IRIF, Université Paris Diderot, Paris, France) (verhinderd)
\item dr. S. Lasota (University of Warsaw, Warszawa, Poland) (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, UK)
\stopitemize
\stopalignment

\stop
\page[yes]

\stopcomponent