LabCompass

Robert Dickerson

Computer Science · Purdue University West Lafayette

OpenAlex ORCID
Established · publishing since 1979
Context-Aware Activity Recognition SystemsVirtual Reality Applications and ImpactsSimulation-Based Education in HealthcareFormal Methods in VerificationSpeech Recognition and Synthesis

Publications

55

Citations

1,478

Est. group size

~3

Recurring co-author estimate

Active years

47

Publishing since 1979

Research summary
AI-generated

Robert Dickerson's work centers on formal methods and program verification, including techniques for automatically checking whether two programs behave equivalently (relational verification) and inferring specifications for software libraries using machine learning-style inference. Some of the work also touches on applied machine learning topics, such as analyzing healthcare data patterns, and earlier projects involved sensing/activity-recognition style systems. Prospective students would likely engage with programming languages theory, automated reasoning tools, and some applied data analysis.

Program verification and formal methodsRelational program analysisAutomated specification inferenceApplied machine learning in healthcare dataActivity recognition and sensing systems

Publication output has been irregular over the last decade, with occasional gaps followed by bursts of activity (e.g., 2022) and a modest recent pace averaging under two papers per year over the last five years.

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

Publication cadence
Publications per year over the last 10 years — averaging 1.6/year recently
172018: 1 publication18192020: 3 publications202021: 1 publication212022: 5 publications522232024: 2 publications242025: 1 publication2526
Recent publications
Publishes in
  • Zenodo (CERN European Organization for Nuclear Research)×4
  • arXiv (Cornell University)×3
  • Proceedings of the ACM on Programming Languages×2
  • Journal of Gerontological Nursing×1
  • Lecture notes in computer science×1
Similar researchers
By research-topic overlap
  • Jun He

    Computer Science · Purdue University West Lafayette

  • Chuyang Chen

    Computer Science · The Ohio State University

  • George Moore

    Computer Science · Purdue University West Lafayette

  • Inseok Hwang

    Computer Science · Purdue University West Lafayette

  • Zahra Ghorrati

    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