Timos Antonopoulos
Research Scientist and Lecturer, Department of Computer Science, Yale University
Logic, Verification, Formal Languages and Security
Location Icon Dunham Laboratory (DL) 404
Publications
Thesis