Stanford University
Showing 161-180 of 4,956 Results
-
Owen Anderson
Ph.D. Student in Bioengineering, admitted Summer 2026
BioOwen Anderson is a first-year PhD student in Bioengineering at Stanford University. He earned his B.S. in Neuroscience from Case Western Reserve University, with minors in Computer Science and Mathematics. Prior to Stanford, he spent two years in the Baker and Machado labs at the Cleveland Clinic, contributing to preclinical and early-phase clinical studies of cerebellar deep brain stimulation for movement disorders and post-stroke motor recovery. At Case Western, he founded and led the Neurotechnology Club, directing an engineering team that prototyped an EEG-driven prosthetic hand using brain-computer interface methods and real-time neural signal processing. He also serves as Associate Director of the nonprofit Eleos, where he leads the AI in Medicine initiative — a curated database of AI–medicine literature designed to help clinicians and engineers integrate AI into neuromodulation and neurotechnology workflows. His research interests center on novel neural interfaces for high-spatiotemporal-resolution recording and stimulation, toward translational brain-machine systems and neuromodulatory therapies.
-
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.
