School of Engineering
Showing 201-220 of 7,069 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.
-
Ali Ansari
Graduate, Stanford Center for Professional Development
BioResearching the efficacy and bias of AI-assisted recruitment systems at Stanford. Founder of micro1.
-
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).
-
Ethan Anzia
Masters Student in Aeronautics and Astronautics, admitted Autumn 2023
Stanford Student Employee, Summer SessionBioFirst year Masters student studying Aeronautics and Astronautics at Stanford University with experience in many programs such as Python, MATLAB, EES, NX, Abaqus, SolidWorks Simulation, Arduino, Microsoft Office, LabView, and Mathcad. Possesses a CSWP (Certified SolidWorks Professional) License and proficient in all mechanical engineering subjects including Thermodynamics, Solid Mechanics, Fluid Mechanics, Dynamics, Finite Element Analysis, Heat Transfer, Aerodynamics, and Orbital Mechanics. I got my Bachelor of Science in Mechanical Engineering from the Colorado School of Mines in Golden, CO. I have prior work experience as a part of the Metal Structures/Seals Design & Analysis group within Propulsion Systems at Northrop Grumman in Promontory, Utah. I completed joint volume calculations for thermal analysis, generated manufacturing review dispositions and modeled forward skirt components on multiple programs such as SLS for the Artemis program. I also have been a peer tutor in the subjects of Thermodynamics, Statics, Solid Mechanics, Fluid Mechanics, Dynamics, Finite Element Analysis, Feedback Systems, and Machine Design. I am currently seeking an internship or co-op experience in an Aerospace Engineering position.
