Paul Saxe

1PUBLICATIONS
3CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jul 18, 2025
SEAMM: A Simulation Environment for Atomistic and Molecular Modeling.

Paul Saxe, Jessica Nash, Mohammad Mostafanejad

Pageof 1

Frequent Collaborators

1 joint publications

Jessica Nash

1 joint publications

Mohammad Mostafanejad

1 joint publications

T Daniel Crawford