Juliette Kennedy is Associate Professor in the Department of Mathematics and Statistics at the University of Helsinki. In addition to her work in mathematical logic, she has worked extensively on the early 20^th century history and foundations of mathematics. She is presently writing a monograph for Cambridge University Press entitled Gödel, Tarski, and Formalism Independence: Tracking the profile of natural language in foundational practice.