Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research interests include Logic, Reasoning, and Knowledge, Advanced Algebra and Logic, Computability, Logic, AI Algorithms, and Logic, programming, and type systems.