Universiteit Leiden

nl en

Lieuwe Vinkhuijzen third in VERSEN Master Thesis Award

PhD candidate Lieuwe Vinkhuijzen received the VERSEN Master Thesis Award 3rd prize for his master’s thesis on quantum computing. ‘A forward-looking thesis that solves problems in software engineering; not in the next decade, but beyond’, according to the jury.


Vinkhuijzen wrote his master’s thesis under the supervision of André Deutz and assistant professor Jeannette de Graaf. His thesis is entitled ‘A Quantum Polynomial Hierarchy and a Simple Proof of Vyalyi’s Theorem’. Vinkhuijzen received the award during the Dutch national symposium on software engineering. In addition to the prize, he received a free ticket for the ICT.Open event.

Checking computers

Vinkhuijzen is currently a PhD candidate, supervised by Alfons Laarman and Holger Hoos. ‘In my research, I develop ways to prove whether computers are programmed correctly or not’, he says. ‘Such knowledge can be important, for instance when a piece of software controls an X-ray machine, or a rocket which is sent to space.’

VERSEN is the Dutch National Association for Software Engineering. Its mission is to bring together researchers, educators and practitioners in the field of software engineering in The Netherlands.  They aim at people who share the common goals of advancing the field or software engineering, raising public awareness of the challenges and opportunities of the field, acquiring funding for groundbreaking and applied research, transferring academic results to society, and representing software engineers to professional, legal, and political entities.

To further promote and encourage excellence in software engineering research, VERSEN has introduced the VERSEN Thesis Awards. The awards are indications of excellence that can support talent in future applications in the current competitive academic climate.

This website uses cookies.  More information.