rvcx
51
reputation
4
Research work in knowledge representation, automated reasoning, and algorithm design.