Timos Antonopoulos
Research Scientist and Lecturer, Department of Computer Science, Yale University
Member of the Rigorous Software Engineering (ROSE) group led by Ruzica Piskac
Logic, Verification, Formal Languages and Security
timos.antonopoulos@yale.edu
Publications
Thesis