The Vienna Center for Logic and Algorithms congratulates the winners of the
VCLA International Student Awards 2014
Outstanding Master Thesis Award
- Kuldeep S. Meel, Rice University, Sampling Techniques for Boolean Satisfiability
- Luke Schaeffer, University of Waterloo, Deciding Properties of Automatic Sequences
- Sophie Spirkl, University of Bonn, Boolean Circuit Optimization
Outstanding Undergraduate Research Award
- Pablo Muñoz, University of Chile, New Complexity Bounds for Evaluating CRPQs with Path Comparisons
The call for the 2015 awards is now available.
The call of the 2014 edition is archived here.