- ๐ 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 / reglang2msl Goto Github PK
View Code? Open in Web Editor NEWLicense: MIT License