School of Engineering
Showing 6,061-6,080 of 7,131 Results
-
Caroline Trippel
Assistant Professor of Computer Science and of Electrical Engineering
BioCaroline Trippel is an Assistant Professor in the Computer Science and Electrical Engineering Departments at Stanford University working in the area of computer architecture. Prior to starting at Stanford, Trippel spent nine months as a Research Scientist at Facebook in the FAIR SysML group. Her work focuses on promoting correctness and security as first-order computer systems design metrics (akin to performance and power). A central theme of her work is leveraging formal methods techniques to design and verify hardware systems in order to ensure that they can provide correctness and security guarantees for the applications they intend to support. Additionally, Trippel has been recently exploring the role of architecture in enabling privacy-preserving machine learning, the role of machine learning in hardware systems optimizations, particularly in the context of neural recommendation, and opportunities for improving datacenter and at-scale machine learning reliability.
Trippel's research has influenced the design of the RISC-V ISA memory consistency model both via her formal analysis of its draft specification and her subsequent participation in the RISC-V Memory Model Task Group. Additionally, her work produced a novel methodology and tool that synthesized two new variants of the now-famous Meltdown and Spectre attacks.
Trippel's research has been recognized with IEEE Top Picks distinctions, the 2020 ACM SIGARCH/IEEE CS TCCA Outstanding Dissertation Award, and the 2020 CGS/ProQuest® Distinguished Dissertation Award in Mathematics, Physical Sciences, & Engineering. She was also awarded an NVIDIA Graduate Fellowship (2017-2018) and selected to attend the 2018 MIT Rising Stars in EECS Workshop. Trippel completed her PhD in Computer Science at Princeton University and her BS in Computer Engineering at Purdue University. -
Nick Troccoli
Lecturer
BioNick Troccoli is a Lecturer in the Stanford Computer Science Department. He started as a full-time lecturer at Stanford in Fall 2018, after graduating from Stanford in June 2018 with Bachelor's and Master's Degrees in Computer Science. He has taught CS106X, CS107, CS110 and CS111. In 2022, he was named to the Tau Beta Pi Teaching Honor Roll. During his undergraduate career, he specialized in Systems, and during his graduate career he specialized in Artificial Intelligence. He was heavily involved in teaching as both an undergraduate and graduate student; he was an undergraduate Section Leader in the CS 198 Section Leading Program, a graduate CA (Course Assistant) for CS 181, the Head TA for CS 106A and CS 106B, and the summer 2017 instructor for CS 106A. In 2017 he was awarded the Forsythe Teaching Award and the Centennial TA Award for excellence in teaching.
-
Leonard Truong
Ph.D. Student in Computer Science, admitted Autumn 2016
BioLenny is a Computer Science Ph.D. Candidate advised by Pat Hanrahan and affiliated with the AHA! Agile Hardware Center. His research interests lie at the intersection of programming languages, compilers, and hardware design. Before joining the Stanford, Lenny was an undergraduate at UC Berkeley advised by Armando Fox and working with the ASPIRE Lab on building domain specific languages and specialized, just-in-time compilers.
-
Katherine Tsai
Graduate, Computer Science
Bioweb page: https://sites.google.com/view/katherinetsai/home
-
Stephen Tsai
Professor (Research) of Aeronautics and Astronautics, Emeritus
BioProfessor Tsai's research interest is in the development of design methodology of composite materials and structures. As an emerging technology, composite materials offer unique performances for structures that combine light weight with durability. Keys to the successful utilization of composite materials are predictability in performance and cost effective design of anisotropic, laminated structures. Current emphasis is placed on the understanding of failure modes, and computer simulation for design and cost estimation.
