|
Serdar Tasiran received
the B.S. degree in electrical engineering from Bilkent University,
Ankara, Turkey, the M.S. and the Ph.D. degrees in electrical engineering and
computer sciences from the University of California, Berkeley in 1991,
1995 and 1998 respectively.
His doctoral research on the compositional and hierarchical
verification of real-time systems originated from his research internships
(1995 and 1996) at AT&T Bell Laboratories. From 1998 to 2000,
he was a research scientist at the Gigascale
Systems Research Center, a consortium of leading US research
universities and electronics systems companies. From 2000
to 2003, he was a research scientist at the Systems Research Center
(SRC) part of Digital Equipment Corporation, Compaq, and later HP
Laboratories. Since January 2003, he has been an assistant professor
of computer engineering at Koc University in Istanbul, Turkey. He
was a visiting professor at the Swiss Federal Institute of Technology,
Lausanne (EPFL) and Microsoft Research Laboratories (Redmond and
Silicon Valley) during the summers of 2003 and 2004.
Dr. Tasiran has done research and published in a
wide range of areas, varying from software verification to hardware
timing analysis, photodetectors to information visualization for
bioinformatics. His work on hybrid techniques for the functional
verification of the Alpha 21364 multi-processor led to a best paper
nomination at last year's Design Automation Conference (DAC '03)
and an invited talk at the "Highlights of DAC" session
at ISSCC '04.
His work on coverage metrics for design validation was quoted
in EE Times.
In 1992, Serdar Tasiran received the Eugene-Mona
Fay Gee Scholarship from the University of California at Berkeley, and
was selected an Honorary Fellow of the Scientific and Technical
Research Council of Turkey (TUBITAK).
Web
Page | Curriculum
Vitae |
Publications | Presentations |