School of Engineering
Showing 211-220 of 6,062 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.
-
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.
