Dimitar Dimitrov

Dimitar Dimitrov is currently working as a researcher at INSAIT and ChainSecurity. Prior to this, Dimitar held positions as Chief Research Officer at ChainSecurity, Advisor to the Minister of Education and Science at the Ministry of Education and Science in Bulgaria, and Software Verification Engineer at PwC Switzerland. Dimitar also worked as a summer intern at the Thomas J. Watson Research Center, IBM Research. Dimitar holds a PhD in Computer Science from ETH Zürich, a Master of Science in Mathematical Logic from Sofia University St. Kliment Ohridski, and a Bachelor of Science in Computer Science from Sofia University St. Kliment Ohridski. Dimitar completed their high school education at the High School of Mathematics "Dr Petar Beron" in Varna.