- 👋 Hi there, I'm Xiaokun Luan, a PhD student at Peking University
- 🔭 I'm currently interested in trustworthy deep learning, formal modeling and verification, and component-based formal specification language
- 📫 How to reach me: [email protected]
luan-xiaokun Goto Github PK
Name: Xiaokun Luan
Type: User
Location: Beijing, China