Jinpeng Wang

پژوهشگر · Computer Science

Max Planck Institute for Software Systems

Germany

معرفی

Jinpeng Wang is affiliated with Nanjing University and presented research at SPLASH 2023 in Cascais, Portugal. His work focuses on programming languages, formal verification, and digital circuit design, with a specific contribution to operational semantics for Verilog in 2023.

حوزه‌های پژوهشی

Computer Science Programming Languages Formal Verification Hardware Description Languages Operational Semantics Compiler Design

۰مقاله منتشرشده

Jinpeng Wang در سایت‌های دیگر

جست‌وجوهای مرتبط

شاید این‌ها هم برایتان مناسب باشند

Xiaoxing MaMax Planck Institute for Software Systems · استاد
Yu WangMax Planck Institute for Software Systems · پژوهشگر
A
Amy ZhuMax Planck Institute for Software Systems · پژوهشگر
Riccardo BianchiniMax Planck Institute for Software Systems · پژوهشگر
Delphine DemangeMax Planck Institute for Software Systems · دانشیار
T
Travis HanceMax Planck Institute for Software Systems · پژوهشگر