Software Engineer
I am a software engineer at Google, Auth Libraries team. Before joining Google, I was a PhD student in Department of Information Technology at Uppsala University ; member of Algorithmic Program Verification group.
In May 2015, I started my PhD program in Department of Information Technology at Uppsala University under the supversion of Mohamed Faouzi Atig and Parosh Aziz Abdulla .