Searching for Interdisciplinary PhD Program on Logic

[GreenApple]

Is there any PhD Program in US on logic where I can apply as a student with a computer science background and further combine my interest in logic, philosophy, math and computer science?

For now, I only know a program at CMU, which is PhD Program in Pure and Applied Logic.

 

[dans595]

Might check out Berkeley's "Logic and Methodology of Science" degree.

http://logic.berkeley.edu/