Ming-Hsien Tsai
- Assistant Professor
- Ph.D., National Taiwan University, Department of Information Management
- Research Interests:Formal Methods, Program Verification, Cryptographic Verification, Temporal Logic, Automata, Model Checking, Theorem Proving
- Teaching Courses: Software Security, Decision Procedures with Applications to Cryptographic Verification.
- Office：IA-902
- Tel：(02)2730-3794
- E-mail：mhtsai@cs.ntust.edu.tw
Click Num:
:::Contact us
- + 886-2- 2733-3141 ext 7901
- MA305, Management Building, No.43, Keelung Rd., Sec.4,Da'an Dist., Taipei City 106335 Taiwan (R.O.C.)
- Email:office6764@mail.ntust.edu.tw
Copyright @2022 National Taiwan University of Science and Technology. All rights reserved.