Ivana Filipović

I'm a research assistant in the Logic and Semantics group of  the Department of Computer Science, Queen Mary , University of London. I am proud to be a member of the East London Massive. I am interested in data refinement, separation logic and semantics of programming languages. I finished my PhD on data refinement few months ago, here at Queen Mary. I've also become interested in program analysis recently.

I grew up in Belgrade, Serbia. I also did my undergraduate studies there, at the Faculty of Mathematics, University of Belgrade.