Daniel Brand  Daniel Brand photo       

contact information

Static Analysis of Software, the BEAM tool
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash2783

links


profile


Right now I am working on the BEAM project, which is about finding software bugs by static analysis.

In the past I was associated mainly with design automation, including logic synthesis, testability and hardware verification.