|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Northwestern_University
gptkb:National_Chiao_Tung_University
|
|
gptkbp:awardReceived
|
gptkb:AAAS_Fellow
gptkb:IEEE_Fellow
gptkb:Distinguished_Alumnus_Award_from_National_Chiao_Tung_University
|
|
gptkbp:field
|
gptkb:artificial_intelligence
computer science
formal methods
software engineering
|
|
gptkbp:formerPosition
|
Distinguished Professor at University of Illinois at Chicago
Dean of College of Science and Engineering at University of Illinois at Chicago
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Jeffrey J.P. Tsai
|
|
gptkbp:knownFor
|
research in formal methods
research in software engineering
leadership in higher education in Taiwan
|
|
gptkbp:nationality
|
Taiwanese
|
|
gptkbp:occupation
|
gptkb:academic_administrator
gptkb:computer_scientist
|
|
gptkbp:position
|
President of Asia University, Taiwan
|
|
gptkbp:publishedIn
|
gptkb:IEEE_Transactions_on_Software_Engineering
gptkb:Journal_of_Systems_and_Software
gptkb:IEEE_Transactions_on_Knowledge_and_Data_Engineering
|
|
gptkbp:bfsParent
|
gptkb:Asia_University
|
|
gptkbp:bfsLayer
|
6
|