Carnegie Mellon University

Shuge Rong

Shuge Rong

Master's Student

  • Baker Hall 143 (outer)
Address
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