Wei Yang Tan is an author at University of California, Berkeley specializing in formal verification, hardware security, and computer engineering.