- I am a third-year Ph.D. student in the Department of Computer Science at Stony Brook University.
- I work in Reliable Systems Lab (342 Computer Science). My advisor is Prof. Scott Smolka.
- My current research interests include Runtime Verification, and Systems in general. I have done research in Data Assimilation in the past.
- I like fishing. Here is one of my catches.
- My first name in Vietnamese is written as Dũng and is pronounced like [joong] with a 'j' and a 'u' sounds (as in june).
- Ph.D., Computer Science, Stony Brook University, August 2013 - Present
- M.Sc., Computer Science, University of Oklahoma, August 2008 - May 2011
- B.Sc., Computer Science, Hanoi University of Technology, August 2002 - June 2007
- Senior Software Engineer, Geomechanics and Beyond, Norman, OK, June 2011 - July 2013
- Software Engineering Intern, Telogical Systems, Norman, OK, June 2009 - August 2009
- Software Developer, FTL Financing and Telecommunications, Hanoi, Vietnam, September 2007 - July 2008
- Software Engineering Intern, FPT Information System, Hanoi, Vietnam, Summer 2005, 2006, 2007
- Dung Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, and Scott D. Stoller. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. In Proceedings of the Fifteenth International Conference on Runtime Verification (RV 2015). © Springer-Verlag, 2015. [BibTeX, PDF, Extended]
- S. Lakshmivarahan, J. Lewis and D. Phan. Data Assimilation as Problem in Optimal Tracking: Application of Pontyagin's Minimum Principle to Atmospheric Sciences. Journal of Atmospheric Sciences 70(4):1257-1277, April 2013 [BibTeX, PDF]