Margin Top
Margin Bottom


Dirk Beyer
    University of California, Berkeley

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.
©2002-2018 Chess