School of Engineering
Showing 201-220 of 5,933 Results
-
Thomas P. Andriacchi
Professor of Mechanical Engineering and of Orthopaedic Surgery, Emeritus
Current Research and Scholarly InterestsProfessor Andriacchi's research focuses on the biomechanics of human locomotion and applications to medical devices, sports injury, osteoarthritis, the anterior cruciate ligament and low cost prosthetic limbs
-
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.
-
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.
