Personal details

Publications

Contact details

    Mailing address:
    Dang Van Hung
    University of Engineering and Technology
    144 Xuan Thuy, Cau Giay
    Hanoi, Vietnam

    E-mail: dvh[aT]vnu[DoT]edu[DoT]vn
    URL: www.coltech.vnu.edu.vn

    Fax: +84 4 37547460






      Dang Van Hung

Senior Lecturer at the Department of Software Engineering, Faculty of Information Technology, University of Engineering and Technology, Vietnam National University, Hanoi (2008-2012).

PhD (equivalent) in Computer Science (concurrent systems) in 1988, Computer and Automation Research Institute (SZTAKI), Hungarian Academy of Sciences, Budapest, Hungary. BSc in Mathematics (numerical analysis) in 1977, Hanoi University, Hanoi, Vietnam.

Research interests include Formal Techniques of Programming, Concurrent and Distributed Computing, Design Techniques for Real-Time Systems, Component-based Software Design, Formal Techniques for Software Specification and Verification.