Timos Antonopoulos

Timos Antonopoulos is a Research Scientist and Lecturer in the Department of Computer Science at Yale University. He is a member of the Rigorous Software Engineering (ROSE) group, led by Ruzica Piskac. His office is located in Dunham Laboratory (Room 404) at 10 Hillhouse Avenue, New Haven, CT.

Antonopoulos's research focuses on formal methods and their applications in security and reliability. Key areas include:

• Logic and Verification: Developing tools and algebras for relational verification, termination analysis, and program correctness.
• Cryptography & Privacy: Designing zero-knowledge protocols (e.g., ZKSMT, ppSAT) and privacy-preserving techniques for automated decision-making and model checking.
• Automated Reasoning: Creating frameworks for intentional behavior analysis, SMT-based oracles, and invariant inference to handle uncertainty and complexity.

His recent publications (2020–2024) reflect a strong emphasis on cryptographic code security, zero-knowledge proofs, and formal accountability tools. Trends include scalable privacy protocols (e.g., parallelization of zero-knowledge systems), legal/ethical AI verification (e.g., soid for automated decisions), and novel graph/algebraic methods for secure computation.

Antonopoulos collaborates extensively within the ROSE group, contributing to projects involving oblivious algorithms, timing-attack mitigation, and secure multi-party SAT solving. His work bridges theoretical foundations (e.g., automata theory, relational algebra) with practical systems security challenges.