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