LabCompass

Yuantian Ding

Computer Science · Purdue University West Lafayette

OpenAlex ORCID
Established · publishing since 1996
Formal Methods in VerificationSoftware Engineering ResearchEmbedded Systems Design TechniquesVLSI and FPGA Design TechniquesParallel Computing and Optimization Techniques

Publications

12

Citations

12

Est. group size

~1

Recurring co-author estimate

Active years

31

Publishing since 1996

Research summary
AI-generated

Yuantian Ding works in computer science, with associated topics including formal methods for verification, software engineering, embedded systems design, VLSI/FPGA hardware design, and parallel computing optimization. The publicly available bibliographic data provides very limited detail on specific projects, so a precise description of ongoing work cannot be determined from what is available.

Formal verification methodsSoftware engineeringEmbedded systems designHardware design (VLSI/FPGA)Parallel computing optimization

Publication activity was not recorded in the data before 2023, after which a small number of publications appear each year, suggesting a recent and modest increase in output rather than a long, steady decade-long trend.

Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026

Publication cadence
Publications per year over the last 10 years — averaging 2.2/year recently
1718192021222023: 3 publications232024: 1 publication242025: 1 publication252026: 6 publications626
Recent publications

No publications ingested yet.

Publishes in
  • Zenodo (CERN European Organization for Nuclear Research)×9
  • Proceedings of the ACM on Programming Languages×2
Similar researchers
By research-topic overlap
  • Prasita Mukherjee

    Computer Science · Purdue University West Lafayette

  • Jingbo Wang

    Computer Science · Purdue University West Lafayette

  • Mahsa Ghasemi

    Computer Science · Purdue University West Lafayette

  • Qianchuan Ye

    Computer Science · Purdue University West Lafayette

  • Xiaokang Qiu

    Computer Science · Purdue University West Lafayette

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 20, 2026.

Claim or correct this profile