Zoe Paraskevopoulou

Identifiers

No identifiers captured yet.

Papers (2)

1. act: Technical report cs.PL · 2026 · author #1
2. Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms cs.PL · 2018 · author #8

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexis Terry 1 shared papers
• Anja Petkovi\'c Komel 1 shared papers
• Aseem Rastogi 1 shared papers
• Catalin Hritcu 1 shared papers
• Chris Hawblitzel 1 shared papers
• Cl\'ement Pit-Claudel 1 shared papers
• Danel Ahman 1 shared papers
• Guido Mart\'inez 1 shared papers
• Jonathan Protzenko 1 shared papers
• Lefteris Lazaropoulos 1 shared papers
• Monal Narasimhamurthy 1 shared papers
• Nick Giannarakis 1 shared papers
• Nikhil Swamy 1 shared papers
• Sophie Rain 1 shared papers
• Tahina Ramananandro 1 shared papers
• Victor Dumitrescu 1 shared papers