Vienna Center for Logic and Algorithms The VCLA International Student Awards are awarded by the Vienna Center for Logic and Algorithms to the authors of outstanding scientific works in the field of Logic and Computer Science, in particular in the following main areas:

  • Databases and Artificial Intelligence
  • Verification
  • Computational Logic

The award was established in 2014, with the following two categories:

  • Outstanding Master Thesis Award
  • Outstanding Undergraduate Research Award

The 2015 Award winners Maximilian Schleich, Felix Dörre, Valeria Vignudelli with Prof. Stefan Szeider

The 2015 Award winners Maximilian Schleich, Felix Dörre, Valeria Vignudelli with Prof. Stefan Szeider

The winners of the 2015 edition of the VCLA International Student Awards are:

  • Outstanding Undergraduate Research Award: Felix Dörre (Karlsruhe Institute of Technology) for his thesis “Verification of Random Number Generators”
  • Outstanding Master Thesis Award: Valeria Vignudelli (University of Bologna), for her thesis “The Discriminating Power of Higher-Order Languages: A Process Algebraic Approach” (Bologna)
  • Honourable Mention: Maximilian Schleich (Oxford University) for the work “Learning Regression Models over Factorised Joins”

You can find details on the award ceremony, and learn about the winners of the VCLA awards 2014.