Mathematics Stack Exchange
Mathematics Stack Exchange

rvcx
23
reputation
  • New York, NY, USA
  • Member since May 02 2019
  • 11 profile views
  • Last seen May 16 '24 at 01:39

Research work in knowledge representation, automated reasoning, and algorithm design.