View Stanford-only Results

Stanford University

Showing 221-230 of 6,542 Results

Calvin Ang

Ph.D. Student in Computational and Mathematical Engineering, admitted Autumn 2024
Contact Info
Mail Code: 4042

angc@stanford.edu
Charm Feng Ang

Undergraduate, Materials Science and Engineering
Peer Educator, Substance Use Programs, Education & Resources (SUPER)
Contact Info
Mail Code: 8235

charmang@stanford.edu
Guohao Ang

Masters Student in Computer Science, admitted Autumn 2023
Contact Info

henryang@stanford.edu
Efrain Angon-Cruz

Undergraduate, Computer Science
Contact Info

efrainac@stanford.edu
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.
Contact Info
Mail Code: 9025
Lars Ankile

Ph.D. Student in Computer Science, admitted Autumn 2025
Contact Info

ankile@stanford.edu
Sahithi Ankireddy

Masters Student in Computer Science, admitted Autumn 2025
Contact Info

sankired@stanford.edu
Anish Anne

5-Sure Safe Rides, Computer Science
Undergraduate, Computer Science
Contact Info
Mail Code: 9015

anishan@stanford.edu
Nadia Ansari

Undergraduate, Hasso Plattner Institute of Design
Ug Oct, Hume Center
Contact Info
Mail Code: 3085

ansarin@stanford.edu
Rayan Ahmed Ansari

Masters Student in Biomedical Data Science, admitted Autumn 2023
Bachelor of Science, Honors, Engineering with Honors
Contact Info
Mail Code: 5464

rayansri@stanford.edu