Stanford University
Showing 1,091-1,100 of 36,330 Results
-
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.
