School of Engineering
Showing 221-240 of 6,550 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.
-
Jacy Reese Anthis
Graduate, Computer Science
BioJacy Anthis is a computational social scientist researching human-AI interaction and machine learning, particularly the rise of "digital minds" and how humanity can work together with highly capable AI systems. His research has been published in top academic venues, such as CHI, HRI, and NeurIPS, and featured in global media outlets, such as Vox, Forbes, and The Guardian. Anthis has presented his work at conferences and seminars in over 20 countries. He is a co-founder of the nonprofit research organization Sentience Institute, a PhD candidate at the University of Chicago, and currently a visiting scholar at the Institute for Human-Centered AI (HAI) at Stanford University. He lives in San Francisco with his wife Kelly Anthis and their adopted dogs Apollo and Dio(nysus).
-
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 algorithms for battery packs used in automotive and energy storage applications.
My research interests primarily revolve around language model post training dynamics and deep reinforcement learning. -
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
On Partial Leave from 04/01/2026 To 06/30/2026Current 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.
