The 8th edition of the VCLA International Student Awards 2024 was concluded in September. Based on the international call for (self-)nominations, the award committee consisting of eighteen internationally recognized researchers announced one Outstanding Master Thesis Award and one Outstanding Undergraduate Research Award. As the decision on the Master Thesis Award was a close call yet again, we also want to mention the runner-up in this category. The nominated degrees had to be awarded between January 1, 2022, and December 31, 2023 (inclusive).

The Outstanding Master Thesis Award goes to Tikhon Pshenitsyn (Lomonosov Moscow State University) for his master thesis “Hypergraph Lambek Calculus” under the supervision of Mati Pentus.

An honorary mention of the runner-up for winner in this category goes to Dieter Vandesande (Vrije Universiteit Brussel), for his master thesis “Towards Certified MaxSAT Solving: Certified MaxSAT Solving with SAT Oracles and Encodings of Pseudo-Boolean Constraints” under the supervision of Bart Bogaerts.

The Outstanding Undergraduate Thesis Award goes to Nathaniel Collins (University of Colorado Boulder) for his bachelor thesis “Count-Free Weisfeiler–Leman and Group Isomorphism” under the supervision of Joshua A. Grochow.

Find more details on the winners and the awards here.

About

The annually awarded Vienna Center for Logic and Algorithms (VCLA) International Student Awards for Outstanding Undergraduate and Master Theses in Logic and Computer Science recognize and support students all over the world at the beginning of their scientific career in the field of logic in computer science. The awards are endowed with a monetary prize of €2000. The VCLA Awards are dedicated to computer scientist Helmut Veith, and aim to carry on his commitment in promoting young talent and promising researchers in these areas.

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.