Ruy de Queiroz

Ruy J. Guerra B. de Queiroz is a Brazilian computer scientist and an associate professor at the Federal University of Pernambuco. He has made significant contributions to the fields of mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation, which has been organised annually since 1994, typically in June or July.