Faculty
Research Area : Trustworthy Autonomous Systems, Rigorous System Design, Component-based Construction – BIP, Verification - Model Checking, Run-time Assurance Techniques
Research Area : Neural Computation; Evolutionary Computation; Machine Learning; Big Data Analytics; Intelligent Optimisation; Smart Logistic, etc.
Research Area : Internet of Things, Cyber-Physical Systems, Wireless sensor networks, Safety critical systems, Data science
Research Area : Distributed and info-symbiotic simulation systems and Virtual Environments; Multi-agent systems; large scale distributed infrastructures, including Clouds, fog and IoT; Big Data Prescriptive Analytics
Research Area : Brain Storm Optimization Algorithms; Particle Swarm Optimization Algorithms; Swarm Intelligence; Evolutionary Computation, Machine Learning; Computational Intelligence; Artificial Intelligence; Data Science; Intelligent System
Research Area : Computational Intelligence, Evolutionary Multiobjective Optimization, Evolutionary Machine Learning, Fuzzy Systems, Linguistic Data Mining, Evolutionary Games
Research Area : Ocular (eye) Imaging Artificial Intelligence;Eye-Brain; Medical imaging analysis；Precise Medical;Surgical robots
Research Area : Computational Intelligence, Evolutionary Computation, Machine Learning
Research Area : Computer Vision, Medical Image Analysis, Machine Learning
Research Area : Relevant Reasoning and Strong Relevant Logic, Epistemic Model of Scientific Discovery, Epistemic Programming and Systems, Automated Theorem Finding, Persistent Computing Systems and Soft System Bus Architecture, Anticipatory Reasoning-Reacting Systems, Automated and Intelligent Information Security Engineering
Research Area : Bionic smart sensors, intelligent sensing, machine learning, and unmanned systems
Research Area : Big data and Finance Technology, Interactive and Cognitive Computing, Service and Cloud Computing
Research Area : AI, Big Data, Urban Computing, Smart City
Research Area : Artificial Intelligence, Machine Learning, Big Data Analytics
Research Area : Internet of Things; Security and Blockchain
Research Area : Computer System Security, Arm/x86/RISC-V Trusted Execution Environment, Hardware-assisted Security, Transparent Malware Analysis, Traffic Signal System Security, Plausible Deniability Encryption
Research Area : Computer vision, Biometrics
Research Area : Next-generation wireless networks, Cognitive radio networks and dynamic spectrum management, Network economics, Internet of Things in Healthcare, Cooperative communication and network
Research Area : Cryptography, Coding theory, Combinatorial designs, Sequence design
Research Area : AI-oriented software engineering, GPU program testing and analysis, fuzz testing, code summarization and search, microservice optimization
Research Area : Data Management and Analytics, Database System, Business Intelligence
Research Area : High-Performance Computing，Physical Modeling，Parallel and Distributed Simulations
Research Area : Computational Intelligence, Data Science, Prescriptive Analytics, Decision Systems, Supply Chains and Logistics
Research Area : Automated Program Repair, Mobile Application Analysis, Software Testing, Comment Analysis, Search-based Software Engineering
Research Area : Software testing and analysis, cyber-physical systems, mobile computing, cybersecurity
Research Area : Computational Intelligence, Deep Learning, Evolutionary Computation
Research Area : Computer vision, Machine Learning, Human-Computer Interaction
Research Area : Wireless Communications and Networking, including Cognitive Radio Networks, Heterogeneous Networks, Device-to-Device Communications, Internet of Things (IoT) Communications, Cloud/Edge/Fog Computing, Mobile Blockchain Applications, Theoretical aspects of Networking: Queuing Theory, Optimization Methods, including Non-Convex, Integer-Programming, Mixed Integer-Programming, Stochastic and Hierarchical Optimization, Game Theory, Artificial and Computational Intelligence Methods for Networking
Research Area : Deep learning, smart cities, intelligent transportation systems, smart energy systems
Research Area : Speech recognition, Speaker verification, Natural language processing
Research Area : Computational Intelligence, Combinatorial Optimization, Electronic Design Automation
Research Area : Internet of Things, Smart City, Low-Power Wide-Area Network
Research Area : Evolutionary Computation, Intelligent Logistics
Research Area : Artificial Intelligence in Games, Meta-heuristic Optimisation, Evolutionary Computation
Research Area : Computational Intelligence, Evolutionary Computation, Dynamic Optimisation, Co-Evolution
Research Area : Surgical assistant; Laser therapy; Medical image analysis
Research Area :
Research Area : Mathematical optimization, Applied mathematics
Research Area : Multi-objective optimization, Evolutionary computation, Combinatorial optimization, Robust optimization
Research Area : IoT big data mining, Blind source separation, Machine learning, Multi-agent systems
Research Area : Computational Intelligence, Evolutionary Computation
Research Area : Image Pattern Recognition, Intelligent Robot
Research Area : Data Structure, Algorithm, Artificial Intelligence
Research Area : Software Engineering，Object oriented Analysis and Design，Data structure，Java programming language
Research Area : System verification of chip architecture
Research Area :
