About
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.
0Publications listed
Find Jinpeng Wang elsewhere
Related Searches
You Might Also Like
Xiaoxing MaMax Planck Institute for Software Systems · Professor
Yu WangMax Planck Institute for Software Systems · Researcher- AAmy ZhuMax Planck Institute for Software Systems · Researcher
Riccardo BianchiniMax Planck Institute for Software Systems · Researcher
Delphine DemangeMax Planck Institute for Software Systems · Associate Professor- TTravis HanceMax Planck Institute for Software Systems · Researcher