Computer Science
Showing 1-10 of 154 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.
-
Monica Lam
Kleiner Perkins, Mayfield, Sequoia Capital Professor in the School of Engineering, Professor of Computer Science and, by courtesy, of Electrical Engineering
BioProfessor Lam's current research interest is to create effective and reliable AI assistants to accelerate the discovery of knowledge. Her OVAL lab has created numerous open-source LLM-based tools used by consumers, historians, and journalists in their work; currently, she is focusing on research assistants that can discover new insights for biomedicine and other technical areas.
Professor Lam's team has created the first quantifiably factual and engaging conversational agent, which has won the Best Research of the Year Award from Wikimedia Foundation; pioneered deep research agent called STORM that has been used by about a million users; developed the best-performing agent for retrieving knowledge from hybrid sources, including databases, knowledge graphs, and free-text, currently deployed at Wikimedia; created an agent framework that produces fluent task-oriented agents that do not hallucinate.
Prof. Lam is also an expert in compilers for high-performance machines. Her pioneering work of affine partitioning provides a unifying theory to the field of loop transformations for parallelism and locality. Her software pipelining algorithm is used in commercial systems for instruction level parallelism. Her research team created the first, widely adopted research compiler, SUIF. She is a co-author of the classic compiler textbook, popularly known as the “dragon book”. She was on the founding team of Tensilica, now a part of Cadence.
Dr. Lam is a Member of the National Academy of Engineering and an Association of Computing Machinery (ACM) Fellow. -
James Landay
Denning Director of Stanford Institute for Human-Centered AI, Anand Rajaraman and Venky Harinarayan Professor and Senior Fellow at the Stanford Institute for Human-Centered AI
Current Research and Scholarly InterestsLanday's current research interests include Technology to Support Behavior Change (especially for health and sustainability), Demonstrational User Interfaces, Mobile & Ubiquitous Computing, Cross-Cultural Interface Design, Human-Centered AI, and User Interface Design Tools. He has developed tools, techniques, and a top professional book on Web Interface Design.
