Daniel Brand  Daniel Brand photo         

contact information

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



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.