New Professor Explores Logical Reasoning in AI

The field of automated reasoning (AR) is dedicated to enabling artificial intelligence to reason like humans, focusing on mathematical logic.

Vijay Ganesh, who joined the School of Computer Science as a full professor this fall, devotes his research to progressing this field.