Musan (Hao Wu)
Musan-HaoWu
PhD Student (@ucas), working on Formal Verification & Synthesis, Decision Procedures
Institute of Software, UCAS Beijing
valeman
valeman
Machine Learning | Probabilistic Prediction | Time-series | Systematic Trading | Forecasting Innovation | Creator of Awesome Conformal Prediction
Big Business London, UK
ASAG@ISCAS
ASAG-ISCAS
Autonomous Systems and AI Group, led by research professor Bai Xue, in State Key Labortory of Computer Science, Institue of Software Chinese Academy of Sciences
China
Hao Wu
EcstasyH
PhD Student @ Institute of Software, Chinese Academy of Sciences
Institute of Software Beijing