Computer Science

Showing 391-400 of 888 Results

• Feiyang Kuang

  Masters Student in Computer Science, admitted Autumn 2022
  Research Assistant, Research Staff - Other
  

  • Contact Info

    Mail Code: 3084

    kuangfy@stanford.edu
• Rohith Kuditipudi

  Ph.D. Student in Computer Science, admitted Autumn 2020
  

  • Contact Info

    rohithk@stanford.edu
• Sreyana Everest Kukadia

  Masters Student in Computer Science, admitted Autumn 2023
  Subject Tutor, Student Learning Support
  

  • Contact Info

    Mail Code: 3101

    sek27@stanford.edu
• Aditesh Kumar

  Masters Student in Computer Science, admitted Autumn 2024
  Student/Hourly, Law Instructional Support
  
• Tanishq Kumar

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

  • Contact Info

    tanishq@stanford.edu
• Hermann Kumbong

  Ph.D. Student in Computer Science, admitted Autumn 2024
  

  • Contact Info

    kumboh@stanford.edu
• Natalie Si-Chi Kuo

  Masters Student in Computer Science, admitted Autumn 2024
  
• Hayden Kwan

  Masters Student in Computer Science, admitted Autumn 2023
  

  • Contact Info

    haykwan@stanford.edu
• Samuel Edward Kwok

  Masters Student in Computer Science, admitted Autumn 2022
  

  • Contact Info

    samkwok@stanford.edu
• 

  Hanna Lachnitt

  Ph.D. Student in Computer Science, admitted Autumn 2020
  

  BioI am a fourth year PhD student advised by Clark Barrett and part of the CENTAUR lab at Stanford University. My research interests lie in automated reasoning and formal verification. I am currently working on proofs for SMT solvers.

  • Contact Info

    lachnitt@stanford.edu