Shuge Rong
Master's Student
Contact
5000 Forbes Avenue
Pittsburgh, PA 15213
- Baker Hall 143 (outer)
5000 Forbes Avenue
Pittsburgh, PA 15213
Bio
Hometown: Anhui Province, China
Education
Bachelor of Laws in Law School, Peking University
Research
- Mathematical logic
- Formal verification
- Automated reasoning