Researchers
Research interests
AI for Formal Verification
Database Programming
Formal Method
Software Engineering
Research interests
Cloud computing
Computer and Network Security
Internet of Things and Smart Technology
Mobile Computing
Network, Protocol, Optimization, and Intelligent Systems
Wireless Sensor Networks
Wireless and Cellular Networks
Research interests
Information Extraction and Integration
Internet and Web Information Systems
Object Oriented Programming
Research interests
Evolutionary Algorithms
Internet of Things and Smart Technologies
Mobile Ad Hoc Networks
Routing Protocols and Internetworking
Research interests
Artificial Intelligence
Complex Adaptive System
Information Theory
Machine Learning
Social Network Analysis
Temporal Causality Analysis