GradNova

S

Serdar Erbatur

Assistant Professor of Instruction

Computer Science, The University of Texas at Dallas

Research Interests

Advanced Authentication Protocols Security

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Semigroups and Automata Theory

Academic Metrics

Links

Grants