Jonathan S. Aldrich
Carnegie Mellon University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Neuroscience and Neuropharmacology Research, Formal Methods in Verification, Cardiac electrophysiology and arrhythmias, Ion channel regulation and function
Most-Cited Works
- → The Discovery and Characterization of ML218: A Novel, Centrally Active T-Type Calcium Channel Inhibitor with Robust Effects in STN Neurons and in a Rodent Model of Parkinson’s Disease(2011)98 cited
- → A Mixed Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling(2026)1 cited
- → Security Reasoning via Substructural Dependency Tracking(2026)
- → Gradual Verification: Assuring Software Incrementally.(2026)