Stanford University
Showing 221-240 of 6,012 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.
-
Yann Aouidef
Postdoctoral Scholar, Management Science and Engineering
BioYann Aouidef is a PhD candidate at the Paris Center of Law and Economics, in applied Mathematics in Economics : Game Theory, Social Choice Theory, Law and Economics.
He's currently a VSR at Stanford with interests in Computational Contracts applied to Smartcontracts. -
Siddharth Aphale
Graduate, Stanford Center for Professional Development
BioHi, I am a data scientist working on cloud battery analytics and a part time student at Stanford University pursuing a Graduate Certificate in Artificial Intelligence. My work focuses on developing diagnostic and prognostic methods at the intersection of probabilistic machine learning and physics-based modeling for battery packs used in automotive and energy storage applications.
My research interests span post training and reinforcement learning for large language models and embodied agents, aiming for policies that are robust and generalize out of distribution. I am currently exploring deep RL and expressive policies, along with the post training dynamics that govern how these methods behave at scale. My most recent focus is the intersection of vision language action (VLA) models and policy alignment, improving generalization through language feedback and multimodal reasoning. -
Eric Appel
Associate Professor of Materials Science and Engineering, Senior Fellow at the Woods Institute for the Environment and Associate Professor, by courtesy, of Pediatrics (Endocrinology) and of Bioengineering
Current Research and Scholarly InterestsThe underlying theme of the Appel Lab at Stanford University integrates concepts and approaches from supramolecular chemistry, natural/synthetic materials, and biology. We aim to develop supramolecular biomaterials that exploit a diverse design toolbox and take advantage of the beautiful synergism between physical properties, aesthetics, and low energy consumption typical of natural systems. Our vision is to use these materials to solve fundamental biological questions and to engineer advanced healthcare solutions.
-
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.
