Nog meer front en back matter
This commit is contained in:
parent
43a6944355
commit
8d59525fb3
9 changed files with 107 additions and 30 deletions
20
content-other/curriculum-vitae.tex
Normal file
20
content-other/curriculum-vitae.tex
Normal file
|
@ -0,0 +1,20 @@
|
||||||
|
\project thesis
|
||||||
|
\startcomponent curriculum-vitae
|
||||||
|
|
||||||
|
\startchapter
|
||||||
|
[title={Curriculum Vitae},
|
||||||
|
reference=chap:curriculum-vitae]
|
||||||
|
|
||||||
|
Joshua Moerman was born in 1991 in Utrecht, the Netherlands.
|
||||||
|
After doing gymnasium at the Christiaan Huygens College in Eindhoven (2003 -- 2009), he did a double bachelor programme in {\it mathematics} and {\it computer science} at the Radboud University in Nijmegen.
|
||||||
|
In 2013, he obtained both bachelors {\it summa cum laude} and continued with a master in mathematics.
|
||||||
|
He obtained the degree of Master of Science {\it summa cum laude} in Mathematics in 2015, with a specialisation in algebra and topology.
|
||||||
|
|
||||||
|
In February 2015, he started his Ph.D. under supervision of Frits Vaandrader, Sebastiaan Terwijn, and Alexandra Silva.
|
||||||
|
This was a joint project with the computer science institute (iCIS) and the mathematics departement (IMAPP) of the Radboud University.
|
||||||
|
During the four years of his Ph.D., he spent a total of six months at University College London, UK.
|
||||||
|
|
||||||
|
As of April 2019, Joshua works as a postdoctoral researcher in the group of Joost-Pieter Katoen at the RWTH Aachen, Germany.
|
||||||
|
|
||||||
|
\stopchapter
|
||||||
|
\stopcomponent
|
15
content-other/references.tex
Normal file
15
content-other/references.tex
Normal file
|
@ -0,0 +1,15 @@
|
||||||
|
\project thesis
|
||||||
|
\startcomponent references
|
||||||
|
|
||||||
|
%\setupheadertexts[{\sc References}][\pagenumber][\pagenumber][{\sc References}]
|
||||||
|
|
||||||
|
\startchapter
|
||||||
|
[title={References},
|
||||||
|
reference=chap:references]
|
||||||
|
|
||||||
|
\switchtobodyfont[8pt]
|
||||||
|
|
||||||
|
\placelistofpublications
|
||||||
|
|
||||||
|
\stopchapter
|
||||||
|
\stopcomponent
|
|
@ -28,21 +28,21 @@ om\\
|
||||||
|
|
||||||
door\\
|
door\\
|
||||||
|
|
||||||
{\it Joshua Moerman}\\
|
{\it Joshua Samuel Moerman}\\
|
||||||
geboren op 1 oktober 1991\\
|
geboren op 1 oktober 1991\\
|
||||||
te Utrecht
|
te Utrecht
|
||||||
\vfill
|
\vfill
|
||||||
\stopalignment
|
\stopalignment
|
||||||
|
|
||||||
\page[left]
|
\page[left]
|
||||||
\startalignment[flushleft]
|
\startalignment[flushleft]\nl
|
||||||
Promotor(en):
|
Promotoren:
|
||||||
\startitemize[after]
|
\startitemize[after]
|
||||||
\item prof. dr. F.W. Vaandrager
|
\item prof. dr. F.W. Vaandrager
|
||||||
\item prof. dr. A. Silva (University College London, Londen, Verenigd Koninkrijk)
|
\item prof. dr. A. Silva (\en University College London, \nl Verenigd Koninkrijk)
|
||||||
\stopitemize
|
\stopitemize
|
||||||
|
|
||||||
Copromotor(en):
|
Copromotor:
|
||||||
\startitemize[after]
|
\startitemize[after]
|
||||||
\item dr. S.A. Terwijn
|
\item dr. S.A. Terwijn
|
||||||
\stopitemize
|
\stopitemize
|
||||||
|
@ -50,18 +50,22 @@ Copromotor(en):
|
||||||
Leden manuscriptcommissie:
|
Leden manuscriptcommissie:
|
||||||
\startitemize[after]
|
\startitemize[after]
|
||||||
\item prof. dr. B.P.F. Jacobs
|
\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. A.R. Cavalli (\fr Télécom SudParis, \nl Frankrijk)
|
||||||
\item prof. dr. F. Howar (Dortmund University of Technology, Dortmund, Duitsland)
|
\item prof. dr. F. Howar (\de Technische Universit\"at, Dortmund, \nl Duitsland)
|
||||||
\item prof. dr. S. Lasota (University of Warsaw, Warschau, Polen) (verhinderd)
|
\item prof. dr. S. Lasota (\pl Uniwesytet Warszawkski, \nl Polen)
|
||||||
\item dr. D. Petrisan (Université Paris Diderot, Parijs, Frankrijk) (verhinderd)
|
\item dr. D. Petrisan (\fr Université Paris Diderot, \nl Frankrijk)
|
||||||
\stopitemize
|
|
||||||
|
|
||||||
Overige leden:
|
|
||||||
\startitemize[after]
|
|
||||||
\item prof. dr. ir. J.F. Groote (TUE)
|
\item prof. dr. ir. J.F. Groote (TUE)
|
||||||
\item dr. J.A. Perez (RUG)
|
\item dr. J.A. Perez (RUG)
|
||||||
\item dr. P. Brunet (University College London, Londen, Verenigd Koninkrijk)
|
\item dr. P. Brunet (\en University College London, \nl Verenigd Koninkrijk)
|
||||||
\stopitemize
|
\stopitemize
|
||||||
|
|
||||||
|
\vfill
|
||||||
|
Paranimfen:
|
||||||
|
\startitemize
|
||||||
|
\item Alexis Linard
|
||||||
|
\item Tim Steenvoorden
|
||||||
|
\stopitemize
|
||||||
|
|
||||||
\stopalignment
|
\stopalignment
|
||||||
|
|
||||||
\en\stop
|
\en\stop
|
48
content-other/voorblad-colofon.tex
Normal file
48
content-other/voorblad-colofon.tex
Normal file
|
@ -0,0 +1,48 @@
|
||||||
|
\project thesis
|
||||||
|
\startcomponent voorblad-colofon
|
||||||
|
|
||||||
|
\startpagemakeup[align=center, doublesided=no, pagestate=start]
|
||||||
|
\switchtobodyfont[20pt]
|
||||||
|
\midaligned{\framed[width=8cm, align=center, frame=off]{Nominal Techniques and Black Box Testing for Automata Learning}}
|
||||||
|
\blank[2*big]
|
||||||
|
|
||||||
|
\switchtobodyfont[12pt]
|
||||||
|
{\it Joshua Moerman}
|
||||||
|
\stoppagemakeup
|
||||||
|
|
||||||
|
\start
|
||||||
|
\page[left]
|
||||||
|
\startalignment[flushleft]
|
||||||
|
\setupindenting[no]
|
||||||
|
\setupwhitespace[big]
|
||||||
|
|
||||||
|
\null
|
||||||
|
|
||||||
|
\vfill
|
||||||
|
|
||||||
|
\midaligned{
|
||||||
|
\startcombination[nx=2, ny=1, location=middle, distance=1cm]
|
||||||
|
{\externalfigure[logo-ipa][scale=500]}{}
|
||||||
|
{\externalfigure[logo-radboud]}{}
|
||||||
|
\stopcombination}
|
||||||
|
|
||||||
|
Work in the thesis has been carried out under the auspices of the research school {\it IPA} (Institute for Programming research and Algorithmics)
|
||||||
|
|
||||||
|
Printed by Gildeprint, Enschede
|
||||||
|
|
||||||
|
Typeset using \ConTeXt
|
||||||
|
|
||||||
|
ISBN: 978--94--632--3696--6
|
||||||
|
|
||||||
|
IPA Dissertation series: ???
|
||||||
|
|
||||||
|
\blank[2*big]
|
||||||
|
|
||||||
|
Copyright \copyright{} Joshua Moerman, 2019
|
||||||
|
|
||||||
|
|
||||||
|
\stopalignment
|
||||||
|
\stop
|
||||||
|
\page[yes]
|
||||||
|
|
||||||
|
\stopcomponent
|
22
content.tex
22
content.tex
|
@ -3,20 +3,12 @@
|
||||||
\project thesis
|
\project thesis
|
||||||
|
|
||||||
\starttext
|
\starttext
|
||||||
\startpagemakeup[align=center, doublesided=no, pagestate=start]
|
\component content-other/voorblad-colofon
|
||||||
\switchtobodyfont[20pt]
|
|
||||||
\midaligned{\framed[width=8cm, align=center, frame=off]{Nominal Techniques and Black Box Testing for Automata Learning}}
|
|
||||||
\blank[2*big]
|
|
||||||
|
|
||||||
\switchtobodyfont[12pt]
|
|
||||||
{\it Joshua Moerman}
|
|
||||||
\stoppagemakeup
|
|
||||||
\page[yes]
|
|
||||||
|
|
||||||
\startfrontmatter
|
\startfrontmatter
|
||||||
\component titelblad
|
\component content-other/titelblad
|
||||||
\component summary
|
\component content-other/summary
|
||||||
\component acknowledgements
|
\component content-other/acknowledgements
|
||||||
|
|
||||||
\setupwhitespace[none]
|
\setupwhitespace[none]
|
||||||
\completecontent[criterium=all]
|
\completecontent[criterium=all]
|
||||||
|
@ -42,10 +34,8 @@
|
||||||
|
|
||||||
|
|
||||||
\startbackmatter
|
\startbackmatter
|
||||||
\setupheadertexts[{\sc References}][\pagenumber][\pagenumber][{\sc References}]
|
\component content-other/references
|
||||||
\switchtobodyfont[8pt]
|
\component content-other/curriculum-vitae
|
||||||
\title{References}
|
|
||||||
\placelistofpublications
|
|
||||||
\stopbackmatter
|
\stopbackmatter
|
||||||
|
|
||||||
|
|
||||||
|
|
BIN
images/logo-ipa.pdf
Normal file
BIN
images/logo-ipa.pdf
Normal file
Binary file not shown.
BIN
images/logo-radboud.pdf
Normal file
BIN
images/logo-radboud.pdf
Normal file
Binary file not shown.
Reference in a new issue