Timos Antonopoulos
Research Scientist, 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