Sharad Malik George Van Ness Lothrop Professor of Engineering Dept. of Electrical Engineering Princeton University Chair, Department of Electrical Engineering Associate Director: FCRP Center for Future Architectures Research (C-FAR) 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 Firmware Verification using Transaction-Level Modeling Post-Silicon Validation Debugging Multi-threaded Software Reverse Engineering Digital Circuits Programmable Computation on Error-Resilient Platforms Verification and Resiliency Driven Microarchitecture Modeling 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 Runtime Verification: A Computer Architecture Perspective , Keynote Talk, Runtime Verification Conference, San Francisco, September 28, 2011. Current and Past Graduate Students and Post-Docs A Note to Prospective Graduate Students