Mathematics
Global

Mathematics Experts

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.   

Research Interest

Semantics and Verification of Concurrent Programs, Temporal Logic. 

Global Experts from Taiwan

Global Experts in Subject

Share This Profile
Relevant Topics