School of Engineering

Showing 81-90 of 2,325 Results

• 

  Rocky An

  Ph.D. Student in Bioengineering, admitted Summer 2023
  Ph.D. Minor, Electrical Engineering
  

  • Contact Info

    rockyan@stanford.edu
• Gia Grace Ancone

  Masters Student in Computer Science, admitted Autumn 2024
  

  • Contact Info

    gancone@stanford.edu
• Carla Vanessa Andazola Villela

  Masters Student in Electrical Engineering, admitted Autumn 2024
  

  • Contact Info

    Mail Code: 3061

    candazol@stanford.edu
• 

  Owen Anderson

  Ph.D. Student in Bioengineering, admitted Summer 2026
  

  Current Research and Scholarly InterestsSoft implantable ultrasonic interfaces for brain stimulation and recording.

  • Contact Info

    owenand@stanford.edu
• Line Eugenia Andersson

  Masters Student in Management Science and Engineering, admitted Autumn 2023
  

  • Contact Info

    Mail Code: 6150

    lian03@stanford.edu
• Marco Andono Sie

  Masters Student in Electrical Engineering, admitted Autumn 2022
  

  • Contact Info

    marcoas@stanford.edu
• Calvin Ang

  Ph.D. Student in Computational and Mathematical Engineering, admitted Autumn 2024
  

  • Contact Info

    Mail Code: 4042

    angc@stanford.edu
• Charm Feng Ang

  Masters Student in Materials Science and Engineering, admitted Autumn 2023
  

  • Contact Info

    charmang@stanford.edu
• Guohao Ang

  Masters Student in Computer Science, admitted Autumn 2023
  

  • Contact Info

    henryang@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.