Personal details

Publications

Contact details

    Mailing address:
    Dang Van Hung
    UNU-IIST,
    P.O.Box 3058, Macau

    E-mail: dvh[aT]iist[DoT]unu[DoT]edu
    URL: www.iist.unu.edu

    Phone:
    +853 28 712 930 (central)
    +853 28 5040 467 (direct)

    Fax: +853 28 712 940






      Dang Van Hung

Research Fellow for the research project ``Theories and Design Methods for Real-time Systems'' at UNU-IIST since October 1995. On leave of absence from Institute of Information Technology, Nghia Do, Cau Giay, Hanoi, Vietnam.

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 methods) in 1977, Hanoi University, Hanoi, Vietnam.

Research interests include Formal Techniques of Programming, Concurrent and Distributed Computing, Design Techniques for Real-Time systems.