Serdar Taşıran
FACULTY CE COMP. ENG.

Serdar Taşıran

Doç. Dr.


Research Interests

Formal verification, concurrency, software engineering tools, transactional memory

Education

  • CALIFORNIA UNIVERSITY, BERKELEY, PhD, 1998
  • CALIFORNIA UNIVERSITY, BERKELEY, MS, 1995
  • BiLKENT UNIVERSITY, BS, 1991