Search:
Note:
JavaScript is disabled
, see the
Site Map
for navigation links
GSRC Member Directory
Search for ...
in
Email
Full Name
Last Name
Username
Maher Mneimneh
University of Michigan
Username:
maherm
Email:
maherm@umich.edu
(To view user contact information, please
log in
.)
Home page:
http://www.eecs.umich.edu/~maherm/
Bio:
Maher N. Mneimneh is pursuing a PhD in computer science and engineering at the University of Michigan. His research interests include formal verification of VLSI systems: model checking, combinational and sequential equivalence checking, binary decision diagrams, and satisfiability solvers. Mneimneh has a BE in computer and communications engineering from the American University of Beirut and an MS in computer science and engineering from the University of Michigan.
Papers
Group memberships
You are not logged in
©1998-2008 GSRC
