Sharad Malik George Van Ness Lothrop Professor of Engineering Dept. of Electrical and Computer Engineering Princeton University Research Interests: Design automation for digital systems: design methodology, functional and security verification of digital systems. Mailing Address: Dept. of Electrical and Computer Engineering Engineering Quad, Room B224 Princeton University Princeton, NJ 08544-5263 Contact Information: Office : (609) 258-4625 Fax : (609) 258-3745 E-mail : myfirstname AT princeton.edu CV (including publications) Research Projects Hardware Platform Security Verification Systems-on-Chip Modeling and Verification Firmware-Hardware Co-verification Open Post-Doc Positions Currently I have an open position for a post-doc in the areas of system verification and security architectures. Please send me an email with your CV if you are interested in this. Recent Talks Hardware-Software Interface Specification for Verification in Accelerator-Rich Platforms , Keynote Talk, Latte Workshop at ASPLOS 21, April 15, 2021. Current and Past Graduate Students and Post-Docs A Note to Prospective Graduate Students