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