Hai Dang @ MPI-SWS

I am a 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 "Herr Professor Doktor" Derek Dreyer, who leads the "Foundations of Programming" group. I am currently working on program logics based on Iris for relaxed memory models, 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.

Me in New York

Email: haidang [[@t]] mpi-sws [(.)] org
Office Tel: +49 681 9303 eight-seven-20
Mobile: +49 157 thr33-zer0-8-seven-nine 498
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", so people often amuse themselves saying "Hi Hai!". My full name in Vietnamese is Đặng Hoàng Hải (Han-Viet: 鄧黄海), where Đặng is the family name, Hoàng is the middle name, and Hải is the first name. Good luck in trying to pronounce those!

I am an amateur photographer. I had been using my Sony NEX-5R for years to capture the places I've been to, as well as their people and food. I have upgraded to Sony α6300!

I am terrible at sports, but open to any suggestion. I try to go running (now at 10+ km) and swimming at least once a week. I also try to cycle to the university everyday (weather & COVID19 permitting). Please tell me if you want an activity mate.

Last updated: 2021-03-03. Built with Skeleton and Zola.
Imprint / Data Protection (explained)