World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
44
Citations
7724
World Ranking
7597
National Ranking
3293

Research.com Recognitions

  • 2011 - IEEE Fellow For contributions to software testing and verification
  • 1998 - ACM Fellow For outstanding research in software engineering, particularly in the areas of software testing and analysis, and for dedicated service to the software engineering community.

Overview

Lori A. Clarke is affiliated with the University of Massachusetts Amherst in the United States. Their research primarily spans the field of Medicine, with a focus on several subfields including Infectious Diseases, Biomedical Engineering, Health Information Management, General Health Professions, and Public Health, Environmental and Occupational Health.

The research topics covered in their work are diverse and include SARS-CoV-2 detection and testing, biosensors and analytical detection, SARS-CoV-2 and COVID-19 research, electronic health records systems, mobile health and mHealth applications, and telemedicine and telehealth implementation. Additionally, their work addresses human-automation interaction and safety.

Notable recent papers authored or co-authored by Lori A. Clarke include:

  • Development of a Parallel Reaction Monitoring Mass Spectrometry Assay for the Detection of SARS-CoV-2 Spike Glycoprotein and Nucleoprotein (2020) - Analytical Chemistry
  • A Coding Framework for Usability Evaluation of Digital Health Technologies (2022) - Lecture notes in computer science
  • A novel multimodal, intraoperative cognitive workload assessment of cardiac surgery team members (2024) - Journal of Thoracic and Cardiovascular Surgery
  • Computational Predictors in Online Social Deliberations (2021) - Proceedings of the International AAAI Conference on Web and Social Media
  • A Personal Retrospective on Symbolic Execution (2025) - IEEE Transactions on Software Engineering

The frequent publication venues for their work include Analytical Chemistry, Lecture notes in computer science, Journal of Thoracic and Cardiovascular Surgery, Proceedings of the International AAAI Conference on Web and Social Media, and IEEE Transactions on Software Engineering.

Collaborations feature several frequent coauthors, among them Leon J. Osterweil, Lauren R. Kennedy-Metz, Heather M. Conboy, George S. Avrunin, and Marco A. Zenati.

Lori A. Clarke has been recognized with the following awards:

  • IEEE Fellow (2011) - For contributions to software testing and verification
  • ACM Fellow (1998) - For outstanding research in software engineering, particularly in the areas of software testing and analysis, and for dedicated service to the software engineering community.

Best Publications

  • A System to Generate Test Data and Symbolically Execute Programs

    L.A. Clarke

  • A formal model of program dependences and its implications for software testing, debugging, and maintenance

    A. Podgurski;L.A. Clarke

  • A formal evaluation of data flow path selection criteria

    L.A. Clarke;A. Podgurski;D.J. Richardson;S.J. Zeil

  • Foundations for the Arcadia environment architecture

    Richard N. Taylor;Frank C. Belz;Lori A. Clarke;Leon Osterweil

  • Data flow analysis for verifying properties of concurrent programs

    Matthew B. Dwyer;Lori A. Clarke

  • PROPEL: an approach supporting property elucidation

    Rachel L. Smith;George S. Avrunin;Lori A. Clarke;Leon J. Osterweil

  • A framework for event-based software integration

    Daniel J. Barrett;Lori A. Clarke;Peri L. Tarr;Alexander E. Wise

  • A historical perspective on runtime assertion checking in software development

    Lori A. Clarke;David S. Rosenblum

  • Partition Analysis: A Method Combining Testing and Verification

    D.J. Richardson;L.A. Clarke

  • A program testing system

    Lori A. Clarke

  • A Close Look at Domain Testing

    L.A. Clarke;J. Hassell;D.J. Richardson

  • An efficient algorithm for computing MHP information for concurrent Java programs

    Gleb Naumovich;George S. Avrunin;Lori A. Clarke

  • S100A9 Induced Inflammatory Responses Are Mediated by Distinct Damage Associated Molecular Patterns (DAMP) Receptors In Vitro and In Vivo

    Bo Chen;Allison L. Miller;Marlon Rebelatto;Yambasu Brewah

  • Task Interaction Graphs For Concurrency Analysis

    Douglas L. Long;Lori A. Clarke

  • Applications of symbolic evaluation

    Lori A. Clarke;Debra J. Richardson

  • Flow analysis for verifying properties of concurrent software systems

    Matthew B. Dwyer;Lori A. Clarke;Jamieson M. Cobleigh;Gleb Naumovich

  • A comparison of data flow path selection criteria

    Lori A. Clarke;Andy Podgurski;Debra J. Richardson;Steven J. Zeil

  • Applying static analysis to software architectures

    Gleb Naumovich;George S. Avrunin;Lori A. Clarke;Leon J. Osterweil

  • Proceedings of the 25th International Conference on Software Engineering

    Lori Clarke;Laurie Dillon;Walter Tichy

  • Combining symbolic execution with model checking to verify parallel numerical programs

    Stephen F. Siegel;Anastasia Mironova;George S. Avrunin;Lori A. Clarke

  • Managing space for finite-state verification

    Jianbin Tan;George S. Avrunin;Lori A. Clarke

Frequent Co-Authors

Leon J. Osterweil
Leon J. Osterweil University of Massachusetts Amherst
Alexander L. Wolf
Alexander L. Wolf University of California, Santa Cruz
Matthew B. Dwyer
Matthew B. Dwyer University of Virginia
Matt Bishop
Matt Bishop University of California, Davis
Andy Podgurski
Andy Podgurski Case Western Reserve University
Richard N. Taylor
Richard N. Taylor University of California, Irvine
Barry Boehm
Barry Boehm University of Southern California
Lori Pollock
Lori Pollock University of Delaware
Jeff Kramer
Jeff Kramer Imperial College London
Giuseppe Riccardi
Giuseppe Riccardi University of Trento

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

If you’re interested in studying Computer Science in the USA, there are a variety of related online degrees and career pathways to consider. Many students explore the best majors in college that align with technology and innovation, such as mathematics, engineering, and information systems. Choosing the right major can be a crucial step toward a rewarding tech career.

For those considering graduate studies, some look into what is the easiest masters degree to get to help balance academic goals with personal and professional responsibilities. Flexibility and program length are often important factors.

Cost is another consideration. Prospective students may seek out affordable online doctoral programs to further their education while minimizing debt. Doctoral degrees in tech fields can open doors to teaching, research, and advanced industry positions.

If you’re seeking leadership or education roles, options like online edd programs allow professionals to earn credentials quickly and efficiently. Explore these pathways to find the best fit for your career goals in the evolving world of technology.

Best Scientists Citing Lori A. Clarke

Trending Scientists

Recently Published Articles