Skip to content

Erbatur, Serdar

Dr. Serdar Erbatur

Assistant Professor of Instruction


  • Ph.D., Computer Science, University at Albany, SUNY, 2012
  • B.Sc., Ege University, Turkey, 2002

Research Interests:

  • Computational Logic
  • Automated Reasoning
  • Unification Theory
  • Program Analysis
  • Type System
  • Language-Based Security
  • Formal Methods
  • Verification
  • Cryptographic Protocol Analysis

Representative Publications:


Previous Profile: Du, Xinya

Next Profile: Farage, Tim

Department of Computer Science