Dr. Felice Balarin
Felice Balarin received his Ph.D. degree in electrical engineering and computer science from the University of California at Berkeley in 1994. Since then, he has been a research scientist at the Cadence Berkeley Labs. His research is focused on development and application of formal methods to design, verification, control and timing analysis of embedded systems implemented both by hardware and software. He is the author of numerous papers, and co-author of two books on these topics.
|©2002-2018 U.C. Regents|