Pulse 探索 nav.journalClub 議論トレンド研究者

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

ホーム探索 nav.journalClub トレンド

⌘+K

Yingte Xu | Synapse

YX

Yingte Xu

Logic, programming, and type systems

Chinese Academy of Sciences

About

Research focus

Logic, programming, and type systems

Impact

13 pubs · 208 cites · h-index 7

Affiliations

Work Experience

Chinese Academy of Sciences

2025 - 2025

Max Planck Institute for Security and Privacy

2025 - 2025

Institute of Software

2025 - 2025

Sichuan Research Center of New Materials

2024 - 2024

University of Technology Sydney

2023 - 2023

Publications