Dr. Jia W***

Algorithm Design Distributed Systems VLSI Design Automation Synthesis for Embedded Systems Operating Systems Web Information Systems Federated Learning Systems Database Management Systems Automated Program Synthesis Distributed Consensus Protocols Embedded Systems Computer Engineering Sequential Optimization Formal Verification Parallel and High-Performance Computing Information Retrieval AI Security and Robustness Mobile Computing Program Analysis and Compilers Automated Software Testing Computer Graphics Reinforcement Learning Privacy-Preserving Computation Network Protocols Semantic Web and Ontologies Big Data Analytics Autonomous Agents Quantum Computing Algorithms Edge Computing Architectures Software Architecture and Design