Research Area:Artificial intelligenceResearch Area:Mathematics--Study and teachingResearch Area:EvidenceResearch Area:LogicPeople:Faculty MemberClear