Ming-Hsien Tsai
- Assistant Professor
- Ph.D. in Information Management, National Taiwan University
- Research Interests:Formal Methods, Program Verification, Cryptographic Verification, Temporal Logic, Automata, Model Checking, Theorem Proving
- Courses: Software Security, Decision Procedures with Applications to Cryptographic Verification.
- Office：T2-407-3
- Tel：(02)2730-3794
- E-mail：mhtsai@cs.ntust.edu.tw
- Laboratory: Software Security Laboratory
Click Num:
