LOGIN
Site map | Contact
Homepage | Comment
Dr. NGUYEN THI MINH TUYEN
Deputy Head of Software Engineering Department,
Faculty of Information Technology, University of Science, VNU-HCM
Tel:
Fax:
Email: ntmtuyen@fit.hcmus.edu.vn
Personal Home Page:
http://www.fit.hcmus.edu.vn/~ntmtuyen
http://www.fit.hcmus.edu.vn/~ntmtuyen
Position Held
- Lecturer, Faculty of Information Technology, University of Science, VNU-HCM
Courses Taught
- Introduction to Software Engineering (lang: vn, en)
- Web Application Development (lang: fr)
- Linux Operating System (lang: vn, fr)
- Java Application Programming (lang: fr)
- Software Modeling (lang: vn)
- Automata and Formal Languages (lang: fr)
- Formal specification (lang: vn)
- Logic Programming (lang: fr)
Research Interests
- Software Engineering
- Formal Verification
- Abstract interpretation
- Floating-point computations
- Static analysis
Selected Publication
- Proofs of numerical programs when the compiler optimizes, Innovations in Systems and Software Engineering, Volume 7, Issue 2, pp 151–160, 2011
- Hardware-Dependent Proofs of Numerical Programs, International conference on Certified Programs and Proofs
- Hardware-independent proofs of numerical programs, Second NASA Formal Methods Symposium (NFM 2010)
