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, Analysis and Synthesis Programmable Computation on Error-Resilient Platforms Open Post-Doc Positions Currently I have an open position for a post-doc in the areas of system verification, security architectures and resilient system design. Please send me an email with your CV if you are interested in this. Recent Talks Detecting Hardware Trojans: A Tale of Two Techniques , Keynote Talk, Formal Methods in Computer-Aided Design (FMCAD), Austin, September 29, 2015. Current and Past Graduate Students and Post-Docs A Note to Prospective Graduate Students