I joined the Department of Computer Science in February 2020. I work with Dr Ioana Boureanu on Formal Verification of Privacy.
I did my undergraduate studies in Mathematics at the University of Antananarivo, Madagascar. Then, I obtained a postgraduate diploma and a Master in Computer Science at the African Institute for Mathematical Sciences in South Africa. In 2016, I obtained my PhD from the University of Stellenbosch (South Africa) on Reasoning about knowledge and privacy using program algebra. From 2018 to 2019, I was a lecturer at the École Normale Supérieure of the University of Antananarivo.