Bow-Yaw Wang, Ph.D.
Affiliations: | 2001 | University of Pennsylvania, Philadelphia, PA, United States | |
| 2000- | Academia Sinica, Moni Vatopediou, Taipei City, Taiwan |
Area:
Hardware and Software Systems: Real-Time, Embedded and Cyber-Physical Systems, Theory: Algorithms and ComplexityWebsite:
https://homepage.iis.sinica.edu.tw/~bywang/Google:
"Bow-Yaw Wang"Parents
Sign in to add mentor| Rajeev Alur | grad student | 2001 | Penn | |
| (Hierarchical reduction and refinement checking for asynchronous processes.) | ||||