Thanos Typaldos (Preferred)
Thanos Typaldos
PhD student, Computer Science, Yale University
- Joined August 2025
Names
Emails
****@yale.edu (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
PhD student
Computer Science, Yale University (yale.edu)
2024 – Present
Undergrad student
Electrical and Computer Engineering , National Technical University of Athens (ntua.gr)
2017 – 2024
Advisors, Relations & Conflicts
Expertise
Neurosymbolic Programming, Program Verification, Program Synthesis, Programming Languages
2024 – Present