Ph.D. Done! Successfully defended my Ph.D. thesis, "Functional Synthesis via Formal Methods and Machine Learning." <br> Thankful to my amazing advisors, Kuldeep S. Meel and Subhajit Roy.