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