Sponsored by SIGDA
SIGDA Liaison
Asst. Prof.
Matthew Guthaus
|
|
CADathlon 09 First Place Winners
Team:Duo
Team Member: Bo-Han Wu
Advisor: Chung-Yang (Ric) Huang
University: National Taiwan University
Team Member: Chun-Ju Yang
Advisor: Chung-Yang (Ric) Huang
University: National Taiwan University
|
|
Bo-Han
is interested in both programming and math. He likes to participate in
different activities to improve himself.
Chun-Ju
enjoys programming and challenges. His research interests are mainly about
synthesis and verification.
CADathlon 09 Runner-Ups
Team:Unsatisfiable Revolutions
Team Member:
Tobias Welp
Advisor: Andreas Kuehlmann
University: UC Berkeley
Team Member: Barch Sterin
Advisor: Robert K. Brayton
University: UC Berkeley
|
|
Tobias
graduated in 2007 from Darmstadt University of Technology in Germany. Now he is
in his third year as a PhD student at the University of California at Berkeley.
His research interests are in logic synthesis and formal verification.
Barch
received his B.A. in Computer Science from the Technion, Israel in 2000. He
then went to work in the industry until he discovered that working is bad for
one's health. He is now a second year Ph.D. student at the University of
California, Berkeley. He is interested in formal verification and logic
synthesis.
|
