YIH-KUEN TSAY
蔡益坤
Loading...
| Organization | Role |
Professor |
Web Site
Tel
+886-2-3366-1189
Email
tsay@ntu.edu.tw
ORCID
Scopus Author ID
Research Interests
Formal Verification
Temporal Logic and Automata
Software Security
Semantic Web
Organization
| Organization | Major | Role | Start | End |
University of California, Los Angeles | Computer Science | Ph.D. | January 1, 1990 | September 30, 1993 |
Organization
| Organization | Dept | Title | Start |
National Taiwan University | Department of Information Management | Professor | August 1, 2010 |
National Taiwan University | Department of Information Management | Chair/Head | August 1, 2013 |
Organization
| Organization | Dept | Title | Start | End |
National Taiwan University | Department of Information Management | Associate Professor | August 1, 1996 | August 1, 2010 |
National Taiwan University | Department of Information Management | Instructor | August 1, 1995 | August 1, 1996 |
National Taiwan University | Distance Learning Group | October 1, 2004 | July 31, 2005 |