School of Engineering
Showing 1,141-1,160 of 6,011 Results
-
Srivatsava Daruru
Affiliate, Computer Science
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. -
Eric Darve
Director, Institute for Computational and Mathematical Engineering (ICME), Professor of Mechanical Engineering and, by courtesy, of Computer Science
Current Research and Scholarly InterestsThe research interests of Professor Darve span across several domains, including machine learning for science and engineering, large-language models, transformer models, surrogate and reduced order modeling, stochastic inversing, anomaly detection, numerical linear algebra, high-performance, parallel, and GPU computing.
-
Nirjhar Das
Ph.D. Student in Management Science and Engineering, admitted Autumn 2026
Current Research and Scholarly InterestsMy research interests are in computational economics and social choice, learning theory, and algorithms in general. I also enjoy high dimensional probability and its applications. With a focus on theoretical models and provable algorithms, I want to understand interaction of artificial intelligence (AI) and society and the nuances therein.
-
Richard Dasher
Adjunct Professor, Materials Science and Engineering
BioRichard Dasher has been Director of the US-Asia Technology Management Center (US-ATMC) at Stanford University since 1994. He served concurrently as the Executive Director of the Center for Integrated Systems in Stanford's School of Engineering from 1998 - 2015. His research and teaching focus on the flow of people, knowledge, and capital in innovation systems, on the impact of new technologies on industry value chains, and on open innovation management. Dr. Dasher was the first non-Japanese person ever asked to join the governance of a Japanese national university, serving as a Board Director and member of the Management Council of Tohoku University from 2004 - 2010. He has served on th Program Committee of the $1.3 billion/year World Premier International Research Center Initiative (WPI) of Japan since its inception in 2007, and he has also served on program and review committees of other national science and technology funding programs, national research institutes, and universities in Canada, Japan, and Thailand. He is a Founding Partner of the Tokyo-based VC firm Global Hands-On Venture Capital (GHOVC), and he is an advisor to start-up companies, business accelerators, venture capital firms, and nonprofits in Silicon Valley, Japan, India, and S. Korea. Dr. Dasher received M.A. and Ph.D. degrees in Linguistics from Stanford University. Before coming to the US-ATMC, he served as board director of two small companies in Tokyo, developing international business from 1990 - 93. From 1986 – 90, he was Director of the U.S. State Department’s Advanced Language and Area Training Centers in Japan and Korea that provide full-time curricula to U.S. and Commonwealth Country diplomats assigned to those countries.
-
Reinhold Dauskardt
Ruth G. and William K. Bowes Professor in the School of Engineering
BioDauskardt and his group have worked extensively on integrating new materials into emerging technologies including thin-film structures for nanoscience and energy technologies, high-performance composite and laminates for aerospace, and on biomaterials and soft tissues in bioengineering. His group has pioneered methods for characterizing adhesion and cohesion of thin films used extensively in device technologies. His research on wound healing has concentrated on establishing a biomechanics framework to quantify the mechanical stresses and biologic responses in healing wounds and define how the mechanical environment affects scar formation. Experimental studies are complimented with a range of multiscale computational capabilities. His research includes interaction with researchers nationally and internationally in academia, industry, and clinical practice.
