Stanford University
Showing 1,101-1,120 of 37,051 Results
-
Timothy Angelotti MD, PhD
Clinical Associate Professor, Anesthesiology, Perioperative and Pain Medicine
Current Research and Scholarly InterestsMy research efforts are focused on investigating the pharmacological and physiological interface of the autonomic nervous system with effector organs. Utilizing molecular, cellular, and electrophysiological techniques, we are examining alpha2 adrenergic receptor function in cultured sympathetic neurons. Future research aims will be directed toward understanding neurotransmitter release in general.
-
Martin S. Angst
Professor of Anesthesiology, Perioperative and Pain Medicine (MSD)
Current Research and Scholarly InterestsOur laboratory studies biological and clinical determinants of human resilience using surgery as an injury model.
-
Leni Aniva
Ph.D. Student in Computer Science, admitted Autumn 2022
Current Research and Scholarly InterestsMy main research interest is Machine-Assisted Theorem Proving, which refers to using machine-learning agents to find proofs of mathematical theorems and conduct reasoning. We are pursuing a hybrid algorithm between neural networks and SMT solvers to solve some of the long standing problems facing machine learning models today such as opaqueness, hallucinations, and information leakage. I also do research on SMT solvers and automatic verifications of programs.
