Daniel Brand 
contact information
Static Analysis of Software, the BEAM toolThomas J. Watson Research Center, Yorktown Heights, NY USA +1
9149452783
9149452783 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.