Cookies on this website
We use cookies to ensure that we give you the best experience on our website. If you click 'Continue' we'll assume that you are happy to receive all cookies and you won't see this message again. Click 'Find out more' for information on how to change your cookie settings.

Claudia Vanea

Claudia Vanea

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.