GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
Yale University
/
Timos Antonopoulos
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