Serdar Taşıran


Serdar.Tasiran@ieee.org

 

Research Scientist
Compaq Systems Research Center

Ph.D., Electrical Engineering and Computer Sciences, University of California, Berkeley. December 1998

Advisor: Prof. Robert K. Brayton Computer-Aided Design Group

Thesis: "Compositional and Hierarchical Techniques for the Formal Verification of Real-Time Systems"

 

Publications

 

Talks


Home

1150 Beethoven Common, #300
Fremont, California 94538

Office

Compaq Systems Research Center
130 Lytton Avenue, Palo Alto, California 94301
650-853-2142