Jin-Song Dong

• Multi-Objective Optimization Using Artificial Intelligence Techniques
• Formal Methods and Software Engineering
• Symposium on Distributed Ledger Technology (SDLT 2017)