Research Area:Artificial intelligenceResearch Area:LogicPeople:Faculty MemberClear