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

Publications

Co-Authors