|
|
|
| |
Dirk Beyer
University of California, Berkeley
|
|
| 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. |
|
|
|
|
|
|
