معرفی
Xiaoxing Ma is a Professor at the State Key Laboratory for Novel Software Technology, Nanjing University, focusing on Software Engineering, Self-adaptive Software Systems, and Software Engineering for Machine Learning. His recent work bridges neuro-symbolic reasoning and formal verification.
- Key research areas: Software Engineering, Self-adaptive Systems, Neuro-symbolic AI
- Awards: China National Awards (2006, 2011), MOE Award (2010), CVIC SE Award (2009)
His 2023-2024 publications emphasize:
- Formal semantics for hardware description languages (Verilog)
- Neuro-symbolic frameworks for mathematical reasoning
- Dynamic update verification and CRDT model checking
- LLM-driven API migration and traceability recovery
He serves as Program Co-Chair for SEAMS 2024 and contributes to major software engineering conferences (ICSE, ASE, FSE, PLDI).
۰مقاله منتشرشده
Xiaoxing Ma در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Emily FirstUniversity of Massachusetts Amherst · استادیار
Alberto Martin-LopezMax Planck Institute for Security and Privacy · پژوهشگر ارشد
Taolue ChenBirkbeck , University of London · مدرس ارشد
Eunsuk KangMax Planck Institute for Security and Privacy · دانشیار
Eunsuk KangInria · دانشیار
Aditya V. ThakurUniversity of California, Davis · دانشیار