Dirk Beyer
    University of California, Berkeley

Username:beyer
 
 
 
 
Home page:http://www-cad.eecs.berkeley.edu/~beyer
Bio:  Dirk Beyer is a postdoctoral researcher at the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He holds a Dipl.-Inf. degree (1998) and a Dr. rer. nat. degree (2002) in computer science from the Brandenburg University of Technology in Cottbus, Germany. His research focuses on program analysis and verification of embedded, real-time, and hybrid systems.
 
Contact 
©2002-2018 U.C. Regents