-
position in statistics, machine learning, and data science. The postdoctoral researcher will be mentored by Professor Yiyuan She and will contribute to the development of innovative statistical methods and
-
Zhennan Zhou's primary research interests lie in the applied analysis of differential equations and stochastic models, as well as the design and analysis of numerical methods for scientific problems
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions