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
- Laboratory: Software Security Laboratory
Click Num:
