Electrical engineering graduate alumnus Pramod Subramanyan will receive the 2018 “Outstanding Ph.D. Dissertation Award in Electronic Design Automation” from the Association for Computing Machinery (ACM). The award will be presented on June 25 at the Design Automation Conference in San Francisco.
The award is given each year to the dissertation with the “most substantial contribution to the theory and/or application in the field,” according to ACM.
“It’s a huge honor,” Subramanyan said. “My goal was to do research that helps the community build more secure computing systems. The award means that our research has had some impact… and that we’ve made some progress toward solving these hard problems.”
Subramanyan, who completed his Ph.D. in Electrical Engineering in 2017, is now Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology, Kanpur.
His dissertation presents techniques for mathematically modelling systems of diverse and specialized components in a uniform way, according to Subramanyan’s adviser Sharad Malik, the George Van Ness Lothrop Professor in Engineering at Princeton.
“Verifying the correctness of these systems is a daunting task, given their diversity and complexity,” Malik said. “This work is foundational, and I expect it to be the basis of how we verify such complex systems in the future.”