FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Jingyao Zhang

Registered user since Sun 28 Sep 2025

Name:Jingyao Zhang
Bio:

Computing, Xi’an Jiaotong-Liverpool University

Country:China
Affiliation:Xi'an Jiaotong-Liverpool University
Research interests:Artificial intelligence, Large language models, Deep learning

Contributions

Show activities from other conferences

Using general profile