Stanford University
Showing 1,041-1,050 of 34,503 Results
-
Martin S. Angst
Professor of Anesthesiology, Perioperative and Pain Medicine (MSD)
On Partial Leave from 2026-09-07 To 2026-10-04Current 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.
