School of Engineering
Showing 301-400 of 2,137 Results
-
Yejin Choi
Dieter Schwarz Foundation HAI Professor and Senior Fellow at the Stanford Institute for Human-Centered Artificial Intelligence
BioYejin Choi is the Dieter Schwarz Foundation Professor and Senior Fellow at the Department of Computer Science at Stanford University and the Stanford Institute for Human-Centered Artificial Intelligence (HAI) respectively. Choi is MacArthur Fellow (class of 2022), AI2050 Senior Fellow (class of 2024), and named among Time100 Most Influential People in AI in 2023. In addition, Choi is a co-recipient of 2 Test-of-Time awards and 8 Best and Outstanding Paper Awards at top AI conferences including ACL, ICML, NeurIPS, ICCV, CVPR, and AAAI, the Borg Early Career Award (BECA) in 2018, the inaugural Alexa Prize Challenge in 2017, and IEEE AI’s 10 to Watch in 2016. Choi was a main stage speaker at TED 2023, and a keynote speaker for a dozen conferences across several AI disciplines including ACL, CVPR, ICLR, MLSys, VLDB, WebConf, and AAAI. Her current research interests include fundamental limits and capabilities of large language models, alternative training recipes for language models, symbolic methods for neural networks, reasoning and knowledge discovery, moral norms and values, pluralistic alignment, and AI safety.
-
Rachel Cleaveland
Ph.D. Student in Computer Science, admitted Autumn 2021
BioI am a 5th-year PhD student at Stanford University, advised by Clark Barrett. My research focuses on applications of the theory of strings within symbolic execution as well as memory model verification.
-
Steve Cousins
SRC Executive Director, Robotics Center
Current Role at StanfordExecutive Director of the Stanford Robotics Center
-
Srivatsava Daruru
Affiliate, Program-Koyejo, O.
BioSrivatsava Daruru is a researcher and machine learning leader whose work spans natural language processing, neuro-symbolic AI, and large-scale learning systems. He is currently Chief AI Officer at Exlens AI and was formerly Senior Manager of Machine Learning at ServiceNow, where he led research in retrieval-augmented generation (RAG), question answering, post-training optimization of large language models, and agentic workflows for conversational AI. His contributions shaped ServiceNow’s generative AI strategy, including the company’s first production-grade generative application, Genius Q&A.
Daruru’s research interests focus on self-improving large language models, reasoning, and mathematical verification. He is currently workin on VeriBench, an end-to-end benchmark for translating Python into Lean 4, and VeriCI, a continuous verification framework for CI/CD pipelines, as part of neuro-symbolic software reliability.
He has published at leading venues such as ACM SIGKDD and IEEE ICDM, with research spanning scalable clustering for terascale astronomy, parallel data mining, and large-scale telecom analytics. His Google Scholar profile reflects a consistent track record of contributions to data mining, NLP, and applied machine learning. In addition, he is the inventor on multiple patents in NLP, fact validation, and semi-automated data labeling.
Daruru holds an M.S. in Computer Science from the University of Texas at Austin and a B.Tech. (Hons) in Computer Science from IIIT Hyderabad.
About Me (Informal)
I am a scientist and engineer working at the intersection of large language models, reasoning, and verification. My long-term vision is to build AI systems that are not only powerful but also trustworthy, capable of explaining themselves and proving their correctness. I’m especially excited about self-improving LLMs, agentic workflows, and neuro-symbolic methods that combine data-driven learning with formal verification. Currently, I’m working on VeriBench and VeriCI, projects that push AI systems toward rigorous mathematical guarantees while remaining practical for real-world development pipelines.
