GradNova

T

Timos Antonopoulos

Research Scientist and Lecturer

Computer Science, Yale University

Research Interests

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

Semigroups and Automata Theory

Software Testing and Debugging Techniques

Academic Metrics

Links

Grants