Aarti Gupta

PhD Student: Graduated Oct '94

School of Computer Science
Carnegie Mellon University
Email:
guptaa+@cs.cmu.edu
agupta@ccrl.nj.nec.com

Address:
NEC USA, C&C Research Labs
4 Independence Way
Princeton, NJ 08540

+1 609 951-2966
Fax: +1 609 951-2499

Research Interests

Formal specification and verification of hardware, protocols and systems
Computer-aided verification -- model checking, induction
VLSI design automation
Thesis research
Thesis Advisor: Allan Fisher
Recent Publications

Other Interests

Husband: Sharad Malik
India: Asian Studies: India subsection
Quilting


guptaa+@cs.cmu.edu

(Rest of this page under construction.)