Skip to content

Previous Profile: Du, Ding-Zhu

Next Profile: Farage, Tim

Erbatur, Serdar

Dr. Serdar Erbatur

Assistant Professor of Instruction

Degrees:

  • 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, Ding-Zhu

Next Profile: Farage, Tim