Computer Science

Showing 541-550 of 1,237 Results

• 

  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

    Mail Code: 9025

    lachnitt@stanford.edu
• Devanshu Ladsaria

  Masters Student in Computer Science, admitted Autumn 2022
  

  • Contact Info

    Mail Code: 9025

    devanshu@stanford.edu
• Yanav Lall

  Masters Student in Computer Science, admitted Autumn 2023
  

  • Contact Info

    Mail Code: 8581

    yanav@stanford.edu
• Kenny Nguyen Lam

  Masters Student in Computer Science, admitted Autumn 2023
  

  • Contact Info

    Mail Code: 3084

    knlam@stanford.edu
• Michelle Sau-Ming Lam

  Ph.D. Student in Computer Science, admitted Winter 2021
  

  • Contact Info

    Mail Code: 9025

    mlam4@stanford.edu
• Wesley Kavin Larlarb

  Masters Student in Computer Science, admitted Autumn 2022
  

  • Contact Info

    wlarlarb@stanford.edu
• Ian Luka Lasic-Ellis

  Masters Student in Computer Science, admitted Autumn 2022
  

  • Contact Info

    Mail Code: 9025

    ianlasic@stanford.edu
• Grant Sho-Tada Lau

  Masters Student in Computer Science, admitted Autumn 2023
  

  • Contact Info

    Mail Code: 9000

    grantlau@stanford.edu
• Matthew Borg Hymn Lau

  Masters Student in Computer Science, admitted Autumn 2022
  

  • Contact Info

    Mail Code: 2259

    mattlau8@stanford.edu
• Zachary Herbst Lawrence

  Masters Student in Computer Science, admitted Autumn 2015
  

  • Contact Info

    Mail Code: 9015

    zherbst@stanford.edu