1 formal-verification-computer-science Postdoctoral positions at Southern University of Science and Technology in China
-
micro flows is TANG Xin. He is an Associate Professor at the Department of Mechanics and Aerospace Engineering. He received the degree of Ph.D. from the University of Hong Kong in 2019. His main academic
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions