Section: Highlights of the Year

Highlights of the Year

• Valeria Vignudelli has won the “Outstanding Master Thesis Award”, for best master thesis in logic in computer science. Awarded by the Vienna Center for Logic and Algorithms, as part of the VCLA International Student Awards (http://logic-cs.at/award/)