Email: m.gorinova [at]

I am Maria, a postgraduate Data Science CDT student at the University of Edinburgh.

My broad interests range from programming languages and verification, to machine learning and human-computer interaction. More specifically, I'm interested in program synthesis, probabilistic programming languages, and how machine learning methods could be applied to verification or software engineering problems. I hope that during my PhD I will be able to explore some of those problems under the supervision of Andy Gordon and Charles Sutton.

Previously, I was a Research Assistant (Predoc) in the Graphics and Interaction Group at the University of Cambridge. My work there was focused on improving the way in which data in the healthcare sector is manipulated and analysed, by bringing the power of programming by example to spreadsheets. Earlier, I received my BA from University of Cambridge (June 2015), where for my final year project I developed an IDE for Probabilistic Programming.