Sharad Malik George Van Ness Lothrop Professor of Engineering Dept. of Electrical Engineering Princeton University Chair, Department of Electrical Engineering Research Interests: Design automation for digital systems: design methodology, synthesis and verification of digital systems. Mailing Address: Dept. of Electrical 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 Soc 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 Instruction-Level Abstraction (ILA): A Uniform Specification for Systems-on-Chip (SoC) Verification , Keynote Talk, Jasper Users Group Meeting, San Jose, October 11, 2018. Current and Past Graduate Students and Post-Docs A Note to Prospective Graduate Students