Dinh Hoang Mai (딘 황 마이) - Welcome!

I am Dinh Hoang Mai, a M.S. student in Department of Computer Science and Engineering of Pohang University of Science and Technology (POSTECH). I am working with Prof. Sungwoo Park and excellent people at Programming Language Laboratory.


I am working in MR3 project, a next-generation computing engine for Hadoop based on the push model, which is sponsored by a grant from Samsung Research Funding Program for Future Technologies. Our goal is to design and implement a new computing engine for Hadoop, which supports DAG, fault tolerance, and in-memory computing, thus delivering superior performance to existing technologies such as MapReduce, Tez, and Spark while providing the same programming interface. We are developing MR3 in the Scala programming language. Previously, I developed a theorem prover for separation logic, called ProverPSL, which was based on the PSL proof system for separation logic with magic wand at http://pl.postech.ac.kr/SL/.

My blog is here.



Academic Activities


Playing guitar.
Martial arts.
Detective novels.

Contact information

Dinh Hoang Mai
Department of Computer Science and Engineering
Pohang University of Science and Technology
San 31 Hyoja-dong, Nam-gu, Pohang, Gyeongbuk, 790-784
Republic of Korea

Office: PIRL/GSIT, 353
Phone: (+82)10-2838-3103
Email: maidinh at postech dot ac dot kr
           (maidh91 at gmail dot com)