Correct Gagandeep's advisor

Author: sampsyo

_data/Dissertation.yaml

@@ -42,7 +42,7 @@
 
 - Awardee: "Gagandeep Singh, ETH Zurich"
   Other: _Scalable Automated Reasoning for Programs and Deep Learning_
-  Advisor: "Martin Vechev"
+  Advisor: "Martin Vechev and Markus Püschel"
   Citation: |
     The central research question addressed by Singh’s dissertation is how to
     enable scalable and precise automated reasoning based on the abstract