Daniel Brand
contact information
Static Analysis of Software, the BEAM toolThomas J. Watson Research Center, Yorktown Heights, NY USA +1
914
945
2783



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.