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:
- Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen: Rule-Based Unification in Combined Theories and the Finite Variant Property. LATA 2019: 356-367
- Serdar Erbatur, Martin Hofmann, Eugen Zalinescu: Enforcing Programming Guidelines with Region Types and Effects. APLAS 2017: 85-104
- Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen, Computing Knowledge in Equational Extensions of Subterm Convergent Theories
- Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen: Notions of Knowledge in Combinations of Theories Sharing Constructors. CADE 2017: 60-76
- Serdar Erbatur, Martin Hofmann: GuideForce: Type-Based Enforcement of Programming Guidelines. SEFM Workshops 2015: 75-89
Previous Profile: Du, Xinya
Next Profile: Farage, Tim
