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
|
Curriculum Vitae
- Curriculum Vitae: Mr.
Dang Van Hung
-
UNU-IIST Employment: 5.
Oct. 1995 -- 4. Oct. 2007
-
Date of Birth: 16 Feb.
1950
-
Place of Birth: Hai Phong,
Vietnam
-
Nationality: Vietnamese
-
UN Laissez Passer: 108453,
Issued (N.Y.) 26 September 2003, Expires: 4 October 2007
-
Family
Status: Married, 3 Children
Wife: Duong Thi Dung, Date of Birth: 3
Jun. 1950, Place of Birth: Nam Ha, Vietnam.
Daughter: Dang Phuong Thao, Date of
Birth: 8 Nov. 1980, Place of Birth: Hanoi, Vietnam
Son: Dang Duong Manh Thang, Date of
Birth: 1 Jun. 1983, Place of Birth: Hanoi, Vietnam.
Daughter: Dang Minh Ngoc, Date of
Birth: 24 Jul. 1989, Place of Birth: Hanoi, Vietnam.
- Address in Macao:
-
Home: 9-andar-G, Block 32,
Nova Taipa Gardens, Rua de Bragança, Taipa, Macau, Phone: +853
28 836 916, Mobile:
+853 66911560.
-
Office:
UNU-IIST, United Nations University, International Institute for
Software Technology, P.O.Box 3058, Macau, Phone: +853 28 712 930, Fax:
+853 28 712 940; Direct Office Phone: +853 28 5040467.
- Education:
-
BSc., Department of Math.,
University of Hanoi, Dec 1977. University study: 1967-1970, 1975-1977.
-
DPhil.
(equivalent), Department of Computer Science, Computer and Automation
Research Institute, Hungarian Academy of Sciences, Budapest, Hungary,
Feb 1988.
- Previous Work:
-
Apr. 1994-Jul. 1995:
UNU-IIST fellow.
-
Sept.-Dec. 1993: Visiting Research
Fellow,
Dept. of Comp. Sci.,Computer and
Automation Research Institute, Budapest, Hungary.
-
1988-1993: Researcher, Institute of Information Technology,
Nghia Do, Cau Giay, Hanoi, Vietnam.
-
May-July 1990: UNDP fellowship, Dept. of
Comp. Sci., Queen Mary and Westfield
College, University of London, UK
-
1984-1987: PhD student, Dept. of Comp.
Sci., Computer and Automation Research
Institute, Budapest, Hungary.
-
1978-1983:
Researcher, Institute of Information Technology, Nghia Do, Cau Giay,
Hanoi, Vietnam.
-
1970-1975: Military Service.
- Professional &c.:
-
1994- : Working in
UNU-IIST in the project "Design Techniques for Real-Time Systems
(DeTfoRS)" as a research fellow, teaching UNU-IIST courses on
Duration Calculus and Model Checking.
-
Author/co-author/editor of
more than 60 papers, books in Computer Science, Program Committee
member/co-chair and reviewer of
various international conferences and journals.
-
1990-1993: Member and then
Head of the Training Department of the UNDP Project VIE/88/035 at IoIT,
teaching a series of graduate courses in Computer Science, e.g.
Object-Oriented Software Constructions, Parallel and Distributed
Computing.
-
1992-1994: Participated in
the Project of Parallel and Distributed Computing, National Program for
Fundamental Research as the project team leader.
-
1979-1980, 1989-1992: Fortran and Pascal application software
developer, teaching
a series of undergraduate courses in computer science at various universities
in Hanoi: Algorithms, Data Structures, Programming from
Specifications, Logics of Programming, Theory of Formal Languages and Automata,
Programming Languages, Theory of Compilers.
|