Hoang-Hai Dang @ MPI-SWS

About me

I am a 2nd year PhD student at the Max Planck Institute for Software Systems (MPI-SWS) and UdS Graduate School of Computer Science in Saarbrücken, Saarland, Germany. My advisor is Derek Dreyer, who leads the "Foundations of Programming" group. I am currently working on program logics for weak memory models basing on Iris, under the RustBelt project.

My main interests are in program semantics, formal software verification, type theory, and computational logic. I also have broader interests in cryptography, security, and software design and development.

I previously received my BSc and MSc in Computer Science from University of Science, HCMC, Vietnam.

Email: haidang [[@]] mpi-sws (.) org
Office Tel: +49 681 9303 8720
Mobile: +49 174 5975 251
Office: Room 333, MPI-SWS, Campus E1 5, D-66123 Saarbrücken, Germany
Mail: MPI-SWS, Campus E1 4, D-66123 Saarbrücken, Germany




I am Vietnamese, who prefer to be called by first names, which for my case is Hai (which in turn sounds like "Hi", and people often amuse themselves saying "Hi Hai!". I am terrible at sports, but still open to any suggestion.

I am an amateur photographer. I have been using my one and only Sony NEX-5R for years to capture the scenery of places I've been to, as well as their people and food. Have a look here! I'm upgrading to Sony a6300, stay tuned for more!

Last updated: 17 June 2017. Built with Skeleton.