Research

Research Interest

Services Computing, Artificial Intelligence, Machine Learning, Logic, Automated Reasoning, Formal Methods, and related fields.