Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research interests include Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Advanced Algebra and Logic, and Multi-Agent Systems and Negotiation.