Xavier Leroy

· Collège de France

65h 指数

16,608总引用

654发文

250i10

ORCID: 0000-0002-8971-9171

研究方向

Logic, programming, and type systemsFormal Methods in VerificationRenal cell carcinoma treatmentProstate Cancer Diagnosis and TreatmentProstate Cancer Treatment and Research

数据来源: OpenAlex + ORCID + Wikidata · 数据质量: verified

登录后开启学术探索

收藏教授 / 论文 / 学科排名, 订阅研究方向更新。登录后开启这些能力。

已有账号?

您的浏览器禁用了 JavaScript。Gobob 留学助手的核心功能需要 JS 支持, 请开启后刷新页面。
主要导航: 院校库 · 智能评估 · 签证百科 · 排名