Claudia Vanea
CDT Student
Claudia studied BA Philosophy at UCL followed by an MSc conversion into Computer Science. During her undergraduate, she focused on formal logic writing her dissertation on the Curry-Howard Isomorphism. Through Computer Science, she became interested in data science with her thesis exploring neural network transfer learning combined with network pruning. Going forward, she is interested in foundational methods in deep learning and the possibility of linking them back to formal logic, among other topics. Her interests outside of study include bouldering, birds, and video games.