Michael Giancola

Michael Giancola

  • Graduate Student

Michael is currently pursuing his PhD in Computer Science. His current research involves advanced consistency-controlling logics (which historically have their roots in truth-maintenance systems, and connect to cutting-edge paraconsistent logics), automated theorem proving, visual question-answering (VQA), and cognitive architectures. Mike is also interested in causal and counterfactual reasoning, and artificial general intelligence. His personal website (with a link to his CV) is here.