3 January 2023 — NUS Computing and Indian Institute of Technology Kanpur (IITK) joint Ph.D. in Computer Science candidate, Priyanka Golia has been selected as one of the EECS Rising Stars at the annual Rising Stars programme for 2022. She is a final-year Ph.D. candidate and advised by NUS Presidential Young Professor, Assistant Professor Kuldeep S. Meel, and IIT Associate Professor Subhajit Roy.
This is a prestigious two-day intensive programme for graduate students and postdocs with historically marginalised and underrepresented genders who are interested in the academic field of electrical engineering and computer science.
Priyanka’s research focuses on using formal methods and artificial intelligence to design automated systems that are both reliable and able to handle large real-world instances. In her dissertation, she developed a data-driven approach called Manthan that uses artificial intelligence and formal methods to design systems (functions, programmes, or circuits) that provably meet given specific requirements.
“I am honoured to have been selected as an EECS rising star. This recognition is particularly gratifying for a final-year Ph.D. student, as it not only serves as validation of one’s hard work and dedication to the field but also offers invaluable insights into the faculty job hiring process. The programme’s emphasis on the dos and don’ts of being a successful job applicant is particularly noteworthy, providing valuable guidance to those seeking to advance their careers. Furthermore, the opportunity to engage with and learn from current and future academics and industry leaders is invaluable. The networking and collaboration opportunities afforded by the EECS Rising Stars program are truly unparalleled, and I would highly recommend it to anyone seeking to further their career in the field of electrical engineering and computer science,” said Priyanka.
Besides the Rising Stars programme, she has also received numerous awards such as a Best Paper Nomination at ICCAD 2021 and DATE 2023.
“Priyanka’s research is at the cutting edge of formal methods and artificial intelligence. Her work on Manthan has pushed the boundaries of what is possible in functional synthesis, and we are excited to see where her ideas will take her in the future,” added Professor Kuldeep.
She is currently co-authoring an upcoming book on functional synthesis, which has been invited by NOW publishers.
