Area of research
Computational Theory and Mathematics · Artificial Intelligence
Research interest
Research interests include Complexity and Algorithms in Graphs, Advanced Graph Theory Research, Logic, Reasoning, and Knowledge, and Formal Methods in Verification.