ÂÜÀòÂÒÂ×

Hoang-Hai Dang is a formal method engineer currently employed at BedRock Systems since August 2020, specializing in formal verification for hypervisors. Previous experience includes a Ph.D. candidacy at Max Planck Institute for Software Systems from April 2016 to February 2022, and an internship at Google with the V8 Team in 2018. Hoang-Hai Dang also worked as a teaching and research assistant at the University of Science, VNU-HCM from September 2011 to March 2015, and completed a research internship at the National Institute of Informatics in Japan from October 2013 to March 2014. The educational background includes a Doctor of Engineering in Computer Science from Universität des Saarlandes (2015-2022), a Master of Science in Computer Science from VNUHCM - University of Science (2011-2014), and a Bachelor of Science in Information Technology from the same institution (2007-2011).