Research Areas

Artificial Intelligence

Information System

Software Engineering

Software Engineering

Embedded System

Cloud Computing

Formal Methods

Formal Methods