Stathis K. Zachos (Greek: Στάθης (Ευστάθιος) Ζάχος; born 1947 in Athens) is a mathematician, logician and theoretical computer scientist.