Adriana Tihan
PhD Student
Where are you from, and what is your background?
I am originally from Bucharest, Romania, where I studied until the age of 18. My background is in Computer Science, in which I completed an integrated masters at Durham University in the UK. My master’s dissertation looked at getting automatic formal guarantees of the computational complexity of computer programs, sitting at the interface of formal methods and computational complexity.
What do you do in your spare time?
In my spare time I like all things creative, from reading, writing and watching films to supporting my friends at their poetry readings and theatre shows.
What influenced you to do a PhD?
Before starting my PhD, I worked in the industry as a data scientist for a year, but I discovered that I missed the depth and flexibility to work on problems that interest me that academia facilitates
What are your research interests?
My current research interests revolve around certifying properties of AI models, but I’m still exploring potential research topics.