School of Engineering
Showing 71-80 of 141 Results
-
Philip Levis
Professor of Computer Science and of Electrical Engineering
BioProfessor Levis' research focuses on the design and implementation of efficient software systems for embedded wireless sensor networks; embedded network sensor architecture and design; systems programming and software engineering.
-
David Luckham
Professor (Research) of Electrical Engineering, Emeritus
BioProfessor (Research) Emeritus of Electrical Engineering.
Research Professor of Electrical Engineering, Stanford University, 1977 to 2003.
Vinton Hayes Senior Research Fellow, Harvard University, 1976.
Senior Research Associate, Stanford Artificial Intelligence Laboratory, 1972-1977.
Associate Professor, UCLA Computer Science Department, 1970-1972.
Professor Luckham's research and consulting activities in software technology include multi-processing and business processing languages, event-driven systems, complex event processing, commercial middleware, program verification, systems architecture modelling and simulation, and artificial intelligence (automated deduction and reasoning systems).
Prof. Luckham has held faculty and invited faculty positions in both mathematics and computer science at eight major universities in Europe and the United States. He has been an invited lecturer, keynote speaker, panelist, and USA delegate at many international conferences and congresses. Until 1999 he was a member of the Computer Systems Laboratory, Stanford University and directed the Program Analysis and Verification Project. He taught courses on Artifical Intelligence and automated deduction, programming languages and program verification, the Anna verification system, systems prototyping and simulation languages, and Complex Event Processing. He was one of the founders of Rational Software, Inc. in 1981.
In the past he has served on review committees during the DoD Ada Language design competition, and was a Distinguished Reviewer on the DoD Ada9X design project. In 1993-94 he was a member of the TRW Independent Assessment Team tasked with reviewing the FAA's Advanced Automation System for the FAA, and in 1994-96 he was a distinguished reviewer for the DoD High Level Language for modelling and simulation. He has published four books and over 100 technical papers; two ACM/IEEE Best Paper Awards, several papers are now in historical anthologies and book collections. His 2002 book is a benchmark introduction to complex event processing, "The Power of Events" . His 2012 book , "Event Processing for Business" documents current applications of Complex Event Processing in many areas of Information Technology. -
Nick McKeown
Kleiner Perkins, Mayfield, Sequoia Capital Professor in the School of Engineering and Professor of Computer Science, Emeritus
BioMcKeown researches techniques to improve the Internet. Most of this work has focused on the architecture, design, analysis, and implementation of high-performance Internet switches and routers. More recently, his interests have broadened to include network architecture, backbone network design, congestion control; and how the Internet might be redesigned if we were to start with a clean slate.
-
Teresa Meng
Reid Weaver Dennis Professor in Electrical Engineering and Professor of Computer Science, Emerita
BioTeresa H. Meng is the Reid Weaver Dennis Professor of Electrical Engineering, Emerita, at Stanford University. Her research activities in the first 10 years focused on low-power circuit and system design, video signal processing, and wireless communications. In 1998, Prof. Meng took leave from Stanford and founded Atheros Communications, Inc., which developed semiconductor system solutions for wireless network communications products. After returning to Stanford in 2000 to continue her teaching and research, Prof. Meng turned her research interest to applying signal processing and IC design to bio-medical engineering. She collaborated with Prof. Krishna Shenoy on neural signal processing and neural prosthetic systems. She also directed a research group exploring wireless power transfer and implantable bio-medical devices. Prof. Meng retired from Stanford in 2013.
-
David Miller
W.M. Keck Foundation Professor of Electrical Engineering, Emeritus
Current Research and Scholarly InterestsDavid Miller’s research interests include the use of optics in switching, interconnection, communications, computing, and sensing systems, physics and applications of quantum well optics and optoelectronics, and fundamental features and limits for optics and nanophotonics in communications and information processing.
-
John Mitchell
Mary and Gordon Crary Family Professor in the School of Engineering, and Professor, by courtesy, of Electrical Engineering and of Education
Current Research and Scholarly InterestsProgramming languages, computer security and privacy, blockchain, machine learning, and technology for education
-
Subhasish Mitra
William E. Ayer Professor of Electrical Engineering and Professor of Computer Science
BioSubhasish Mitra holds the William E. Ayer Endowed Chair Professorship in the Departments of Electrical Engineering and Computer Science at Stanford University. He directs the Stanford Robust Systems Group, serves on the leadership team of the Microelectronics Commons AI Hardware Hub, leads the Computation Focus Area of the Stanford SystemX Alliance, and is the Associate Chair (Faculty Affairs) of Stanford Computer Science. His research ranges across Robust Computing, NanoSystems, Electronic Design Automation (EDA), and Neurosciences. Results from his research group have influenced almost every contemporary electronic system and have inspired significant government and research initiatives in multiple countries. He has held several international academic appointments — the Carnot Chair of Excellence in NanoSystems at CEA-LETI in France, and Invited Professor at ETH and EPFL in Switzerland and University of Tokyo in Japan. Prof. Mitra also has consulted for major technology companies including AMD (XIlinx), Anthropic, Cisco, Google, Intel, Samsung, and Sony. He recently cofounded TenX Semi, a startup on AI autopilot for chip design.
In the field of Robust Computing, he has created many key approaches for circuit failure prediction, CASP on-line diagnostics, QED system validation, soft error resilience, and X-Compact test compression. Their adoption by industry is growing rapidly, in markets ranging from cloud computing to automotive systems, under various names such as Silicon Lifecycle Management, Predictive Health Monitoring, In-System Test, In-field Scan, In-fleet Scan. His X-Compact approach has proven essential to cost-effective manufacturing and high-quality testing of almost all contemporary digital systems. X-Compact and its derivatives enabled billions of dollars of cost savings across the industry.
In the field of NanoSystems, with his students and collaborators, he demonstrated several firsts: the first NanoSystems hardware among all beyond-silicon nanotechnologies for energy-efficient computing (the carbon nanotube computer), the first 3D NanoSystem with computation immersed in data storage, the first published end-to-end computing systems using resistive memories (Resistive RAM-based non-volatile computing systems delivering 10-fold energy efficiency versus embedded flash), and the first monolithic 3D integration combining heterogeneous logic and memory technologies in silicon foundry. These received wide recognition: cover of NATURE, several Highlights to the US Congress, and highlight as "important scientific breakthrough" by news organizations worldwide.
Prof. Mitra's honors include the Harry H. Goode Memorial Award (by IEEE Computer Society for outstanding contributions in the information processing field), Newton Technical Impact Award in EDA (test-of-time honor by ACM SIGDA and IEEE CEDA), the University Researcher Award (by Semiconductor Industry Association and Semiconductor Research Corporation to recognize lifetime research contributions), the EDAA Achievement Award (by European Design and Automation Association, for outstanding lifetime contributions to electronic design, automation and testing), the Intel Achievement Award (Intel’s highest honor), and the Distinguished Alumnus Award from the Indian Institute of Technology, Kharagpur. He and his students have published over 15 award-winning papers across 5 topic areas (technology, circuits, EDA, test, verification) at major venues including the Design Automation Conference, International Electron Devices Meeting, International Solid-State Circuits Conference, International Test Conference, Symposia on VLSI Technology/VLSI Circuits, and Formal Methods in Computer-Aided Design. Stanford undergraduates have honored him several times "for being important to them." He is a Fellow of the Association for Computing Machinery (ACM) and the Institute of Electrical and Electronics Engineers (IEEE), and a Foreign Member of Academia Europaea.
