Stanford University
Showing 181-200 of 5,109 Results
-
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.
-
Gustavo A. Araujo R.
Ph.D. Student in Civil and Environmental Engineering, admitted Winter 2023
Current Research and Scholarly InterestsSeismic hazard and risk analysis.
Nonlinear finite-element modeling of civil structures.
Reinforced concrete wall buildings and moment-resisting frames.
Hybrid mass timber-steel systems. -
Bella Archibald
Ph.D. Student in Bioengineering, admitted Autumn 2021
BioBella works in Professor Jennifer Brophy’s lab, and her research focuses on developing new tools to precisely engineer plants and plant root development. She hopes to create plants that are more drought tolerant and climate resilient, as well as plants with optimized root structures for enhanced bioremediation and resource recovery.
Outside of the lab, Bella loves skiing, hiking, and dancing, and her favorite flower is the Arrowleaf Balsamroot.
