LabCompass

Prasita Mukherjee

Computer Science · Purdue University West Lafayette

OpenAlex
Mid career · publishing since 2012
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSafety Systems Engineering in AutonomySoftware Engineering ResearchDistributed systems and fault tolerance

Publications

12

Citations

10

Est. group size

—

Recurring co-author estimate

Active years

14

Publishing since 2012

Research summary
AI-generated

Prasita Mukherjee works on software verification and reliability, focusing on how to check that programs behave correctly and safely. Recent work explores using large language models (LLMs, AI systems trained to generate text or code) to write and verify high-assurance C programs, alongside earlier work on coordination techniques for distributed computing systems.

Formal verification of softwareAI-assisted program synthesisHigh-assurance and safety-critical softwareSoftware testing and debuggingDistributed systems coordination

Publication output has been low but has grown modestly in the last two years after a period of roughly one paper per year.

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

Publication cadence
Publications per year over the last 10 years — averaging 1.2/year recently
172018: 1 publication18192020: 1 publication202021: 1 publication212022: 1 publication222023: 1 publication232024: 2 publications2242025: 2 publications22526
Recent publications
Publishes in
  • arXiv (Cornell University)×5
  • Smart innovation, systems and technologies×1
  • Proceedings of the ACM on Programming Languages×1
  • Lecture notes in computer science×1
Similar researchers
By research-topic overlap
  • Yuantian Ding

    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

  • Xuwei Liu

    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