Bailey Fernandez

Bailey Fernandez is an interdisciplinary researcher working at the intersection of design computation with formal methods in computing. In particular, he is interested in theory which advances the mathematical foundations of the discipline while paying attention to conceptual and philosophical questions underlying design and making. Secondary interest include symbolic logic, formal verification, computational complexity, and the cognitive sciences. 

In addition to his academic work, Bailey is a project manager with extensive international experience. He has helped organized conferences and symposia in my areas of academic interest at the University of Southern Denmark, Austrian Cultural Forum in New York City, University of Salzburg, Johannes Kepler University of Linz, and the University of Vienna. He currently sits on the Alumni Advisory Panel to the Board of Fulbright Austria.