PhD Thesis

I have defended my PhD thesis on the 1st of July 2019, titled Nominal Techniques and Black Box Testing for Automata Learning. You can find the downloads below. If you would like to have a physical copy, please let me know, I might have some left.

I did my PhD in 2015–2019 and was supervised by Frits Vaandrager, Alexandra Silva, and Bas Terwijn.

Downloads

• Thesis (pdf, digital version, 3.3 MB)

• Thesis (pdf, print version, 3.3 MB)