My research is at the intersection of software engineering and formal methods, with an emphasis on developing rigorous program analysis and synthesis techniques to improve the security, robustness, ...

Johnny Wong, Les Miller, Vasant Honavar, Guy Helmer, Amit Lamba To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not ...

Gene Spafford joins HOU.SEC.CON founders Michael and Sam to chat about his start in cybersecurity and academia, his new book, and what to expect during his opening keynote at the conference.

Aravind Machiry, assistant professor in the Elmore Family School of Electrical and Computer Engineering, has received an National Science Foundation (NSF) Faculty Early Career Development ...

Purdue Polytechnic professor Chad Laux has been awarded the International Book of the Year Award by the International Lean Six Sigma Institute (ILSSI) for his coauthored book, “Lean Sustainability: A ...

Saurabh Bagchi, professor in the Elmore Family School of Electrical and Computer Engineering, is a finalist for the Institution of Engineering Technology (IET) Achievement Medal, a global award in ...

College of Liberal Arts Associate Dean of Research; Graduate Education and Professor // Communication Faculty University of Kentucky College of Communication Faculty Award, 2002 University of Kentucky ...

The Center for Education and Research in Information Assurance and Security (CERIAS), a cross-cutting institute at Purdue University, is the world’s foremost interdisciplinary academic center for ...

Note that if you are considering grad school at Purdue and want a tour, there are complementary tours available. Admission requirements for the various graduate programs are available at this page.

Charles William Harrison Distinguished Professor of ECE; Professor of Biomedical Engineering; Professor of Psychological Sciences (courtesy) Delp earned his bachelor's and master's degrees in ...

This site provides the comprehensive list of resources associated with Internet firewalls. The list is divided into sections to make finding information easier. Much of the information presented here ...