Amir Pnueli
Professor
M-Commerce and Multimedia Applications
Asia University, Taiwan
Taiwan
Biography
Dr. Amir Pnueli is currently working as a Professor in the Department of M-Commerce and Multimedia Applications, Asia University , Taiwan . His research interests includes Semantics and Verification of Concurrent Programs, Temporal Logic. He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Amir Pnueli is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to Semantics and Verification of Concurrent Programs, Temporal Logic. Dr. Amir Pnueli is currently working as a Professor in the Department of M-Commerce and Multimedia Applications, Asia University , Taiwan . His research interests includes Semantics and Verification of Concurrent Programs, Temporal Logic. He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Amir Pnueli is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to Semantics and Verification of Concurrent Programs, Temporal Logic.
Research Interest
Semantics and Verification of Concurrent Programs, Temporal Logic.