The highly successful second edition of the VCLA International Student Awards was concluded on April 16, 2016 with the celebration of two winners. Out of 22 submissions in total, one was selected for the Outstanding Master Thesis Award and one for the Outstanding Undergraduate Research Award by a committee consisting of 20 internationally recognized researchers. The award ceremony took place as part of the Spring School on Logic and Verification (LOVE 2016).

The VCLA Chair Stefan Szeider congratulated the following award recipients:

Outstanding Master Thesis Award

Valeria Vignudelli (University of Bologna) – Thesis: “The Discriminating Power of Higher-Order Languages: A Process Algebraic Approach”

Outstanding Undergraduate Research Award

Felix Dörre (Karlsruhe Institute of Technology) – Thesis: “Verification of Random Number Generators”

Honorable mention

Maximilian Schleich (Oxford University) – Thesis:  “Learning Regression Models over Factorised Joins”

 

The VCLA International Student Awards are given to authors of outstanding scientific works in the field of Logic and Computer Science.

Click here for the First Edition of the VCLA International Student Awards.