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)
|
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.
|