Thanos Typaldos

PhD student, Computer Science, Yale University

  • Joined August 2025

Names

Thanos Typaldos (Preferred)

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

No relations added

Expertise

Neurosymbolic Programming, Program Verification, Program Synthesis, Programming Languages
2024 – Present