Antonio Cortijo-Rodgers works at the Department of Mathematics and the Department of Philosophy at the University of California, Berkeley where he specializes in formal logic. He is a member of the Center for Catalan Studies (University of California, Santa Barbara)