I am a first-year PhD student at the Max Planck Institute for Software Systems
and Universität des Saarlandes 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, type theory, computational logic,
and formal software verification. 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,
I am Vietnamese, and we 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, except night clubs.
Shame, shame, shame! There is nothing here! Please come back later.
|Email:||haidang [@] mpi-sws (.) org|
|Office:||Room 333, MPI-SWS, Campus E1 5, D-66123 Saarbrücken, Germany|
|Mail:||MPI-SWS, Campus E1 4, D-66123 Saarbrücken, Germany|