School of Engineering
Showing 901-1,000 of 2,153 Results
-
Moo Jin Kim
Ph.D. Student in Computer Science, admitted Autumn 2023
BioMoo Jin Kim is a Ph.D. student in Computer Science at Stanford University (2023 – present) who conducts research in end-to-end vision-based robotic manipulation.
-
Fredrik Kjolstad
Assistant Professor of Computer Science
BioFredrik Kjolstad is an Assistant Professor in Computer Science at Stanford University. He works on topics in compilers, programming models, and systems, with an emphasis on compiler techniques that make high-level languages portable. He has received the NSF CAREER Award, the MIT EECS Sprowls PhD Thesis Award in Computer Science, the Tau Beta Phi 2024 Teaching Honor Roll, the Google ML and Systems Junior Faculty Awards, and several distinguished paper awards.
-
Donald Knuth
Fletcher Jones Professor of Computer Science, Emeritus
BioDonald Ervin Knuth is an American computer scientist, mathematician, and Professor Emeritus at Stanford University.
He is the author of the multi-volume work The Art of Computer Programming and has been called the "father" of the analysis of algorithms. He contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it. In the process he also popularized the asymptotic notation. In addition to fundamental contributions in several branches of theoretical computer science, Knuth is the creator of the TeX computer typesetting system, the related METAFONT font definition language and rendering system, and the Computer Modern family of typefaces.
As a writer and scholar,[4] Knuth created the WEB and CWEB computer programming systems designed to encourage and facilitate literate programming, and designed the MIX/MMIX instruction set architectures. As a member of the academic and scientific community, Knuth is strongly opposed to the policy of granting software patents. He has expressed his disagreement directly to the patent offices of the United States and Europe. (via Wikipedia) -
Mykel Kochenderfer
Associate Professor of Aeronautics and Astronautics, Senior Fellow at the Stanford Institute for Human-Centered AI and Associate Professor, by courtesy, of Computer Science
BioMykel Kochenderfer is Associate Professor of Aeronautics and Astronautics at Stanford University. Prior to joining the faculty, he was at MIT Lincoln Laboratory where he worked on airspace modeling and aircraft collision avoidance, with his early work leading to the establishment of the ACAS X program. He received a Ph.D. from the University of Edinburgh and B.S. and M.S. degrees in computer science from Stanford University. Prof. Kochenderfer is the director of the Stanford Intelligent Systems Laboratory (SISL), conducting research on advanced algorithms and analytical methods for the design of robust decision making systems. Of particular interest are systems for air traffic control, unmanned aircraft, and other aerospace applications where decisions must be made in uncertain, dynamic environments while maintaining safety and efficiency. Research at SISL focuses on efficient computational methods for deriving optimal decision strategies from high-dimensional, probabilistic problem representations. He is an author of "Decision Making under Uncertainty: Theory and Application" (2015), "Algorithms for Optimization" (2019), and "Algorithms for Decision Making" (2022), all from MIT Press. He is a third generation pilot.
-
Sanmi Koyejo
Assistant Professor of Computer Science
BioSanmi Koyejo is an Assistant Professor in the Department of Computer Science at Stanford University and an adjunct Associate Professor at the University of Illinois at Urbana-Champaign. He leads the Stanford Trustworthy AI Research (STAIR) lab, which develops measurement-theoretic foundations for trustworthy AI systems, spanning AI evaluation science, algorithmic accountability, and privacy-preserving machine learning, with applications to healthcare and scientific discovery. His research on AI capabilities evaluation has challenged conventional understanding in the field, including work on measurement frameworks cited in the 2024 Economic Report of the President.
Koyejo has received the Presidential Early Career Award for Scientists and Engineers (PECASE), Skip Ellis Early Career Award, Alfred P. Sloan Research Fellowship, NSF CAREER Award, and multiple outstanding paper awards at flagship venues, including NeurIPS and ACL. He has delivered keynote presentations at major conferences, including ECCV and FAccT. He serves in key leadership roles, including Board President of Black in AI, Board of Directors of the Neural Information Processing Systems Foundation, and other leadership positions in professional organizations advancing AI research and broadening participation in the field. -
Christoforos Kozyrakis
Leonard Bosack and Sandy K. Lerner Professor of Engineering and Professor of Computer Science
BioChristos Kozyrakis is the Leonard Bosack and Sandy K. Lerner Professor of Engineering and a Professor of Electrical Engineering and Computer Science at Stanford University. His primary research areas are computer architecture and computer systems. His current work focuses on cloud computing, systems for machine learning, and machine learning for systems.
Christos holds a BS degree from the University of Crete and a PhD degree from the University of California at Berkeley. He is a fellow of the ACM and the IEEE. He has received the ACM SIGARCH Maurice Wilkes Award, the ISCA Influential Paper Award, the NSF Career Award, the Okawa Foundation Research Grant, and faculty awards by IBM, Microsoft, and Google. -
Anshul Kundaje
Associate Professor of Genetics and of Computer Science
Current Research and Scholarly InterestsWe develop statistical and machine learning frameworks to model gene regulation and decipher the genetic and molecular basis of disease
-
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 Co-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.
