Stanford University
Showing 101-110 of 2,783 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.
-
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.
