The VCLA Chairs Stefan Szeider and Helmut Veith congratulated the following award recipients:
Outstanding Master Thesis Award
Kuldeep S. Meel (Thesis: Sampling Techniques for Boolean Satisfiability)
Luke Schaeffer (Thesis: Deciding Properties of Automatic Sequences)
Sophie Spirkl (Thesis: Boolean Circuit Optimization)
Outstanding Undergraduate Research Award
Pablo Muñoz (Thesis: New Complexity Bounds for Evaluating CRPQs with Path Comparisons)
For more information, please visit the awards report.