Logic and computer science

Logician Solomon Feferman, who did his PhD under Alfred Tarski, has just written a short article on Tarski’s influence on computer science.  It seems that this influence was wider than just that between cylindrical algebras and relational database theory.