School of Engineering
Showing 221-240 of 6,544 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. -
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.
-
Elijah Appelson
Masters Student in Management Science and Engineering, admitted Autumn 2025
BioElijah Appelson is an activist, mathematician, and computational social scientist. From 2023 to 2025, he served as the first data analyst/scientist at the ACLU of Louisiana, focusing on immigration, policing, and the broader criminal legal system. There, he conducted statistical analyses for legal cases, supported policy change, and developed educational tools, including "Visualizing Police Violence in Louisiana" and "Policing in Louisiana: By the Facts". He is skilled in web scraping, predictive modeling, and data storytelling, and uses these tools to create accountability. Prior to the ACLU, he held roles at the Center for Community Alternatives and the Vera Institute of Justice, intersecting technical expertise with a commitment to civil rights. His academic interests center on using machine learning to hold state violence accountable through education, policy, and law.
