NEC Laboratories America, Inc.

Aarti Gupta

Aarti Gupta

NEW: I have left NEC Labs. Please use gupta.aarti at to contact me.

Research Interests

  • Software Verification: software model checking, program analysis, static analyzers, model-based development, software testing
  • Formal Verification: model checking, abstraction-refinement, equivalence checking, hardware verification
  • Automatic Decision Procedures: Boolean Satisfiability (SAT) solvers, Satisfiability Modulo Theory (SMT) solvers, Binary Decision Diagrams (BDDs)
  • Electronic Design Automation: specification and verification languages, semi-formal verification, simulation-based validation


Invited Talks

Professional Activities

Other Information


 NEC Laboratories America Home

©2006 NEC Laboratories America, Inc. All rights reserved.