Sharad Malik
George Van Ness Lothrop Professor of Engineering
Dept. of Electrical Engineering
Director: FCRP Gigascale Systems Research Center
Director: Keller Center for Innovation in Engineering Education
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
Office: (609) 258-4625, Fax: (609) 258-3745
E-mail: myfirstname AT princeton.edu
- CV (including publications)
- Research
Projects
- PriM: Verification Driven Design Modeling
- Runtime Validation
- SAT
- Recent Talks
- Hardware Verification:
Methodology, Techniques and Solutions, Keynote Talk, Tools and
Algorithms for the Construction and Analysis of Systems (TACAS), April 4,
2008, Budapest.
- Current and Past Graduate Students
- A Note to Prospective Graduate Students