Computer Science
Showing 81-100 of 123 Results
-
Brando Miranda
Ph.D. Student in Computer Science, admitted Autumn 2022
BioBio
Brando Miranda is a current Ph.D. Student at Stanford University under the supervision of Professor Sanmi Koyejo in the department of Computer Science. Previously he has been a graduate student at University of Illinois Urbana-Champaign, Research Assistant at MIT’s Center for Brain Minds and Machines (CBMM), and graduate student at the Massachusetts Institute of Technology (MIT). Miranda’s research interests lie in the field of meta-learning, foundation models for theorem proving, and human & brain inspired Artificial Intelligence (AI). Miranda completed his Master of Engineering in Electrical Engineering and Computer Science under the supervision of Professor Tomaso Poggio – where he did research on Deep Learning Theory. Miranda has been the recipient of several awards, including Most Cited Paper Certificate awarded by International Journal of Automation & Computing (IJAC), two Honorable Mention with the Ford Foundation Fellowship, Computer Science Excellence Saburo Muroga Endowed Fellow, Stanford School of Engineering fellowship, and is currently an EDGE Scholar at Stanford University.
About me (Informal)
I am a scientist and an engineer that is interested in moving forward the powerful and beautiful field of A.I. closer to true Artificial General Intelligence (AGI). I believe an important direction is understanding how to combine cognitive and neuro-inspired models, specially investigating how reasoning and learning work together. In addition, I also believe being able to adapt to new tasks using prior experience and knowledge is crucial for AGI to occur. Consequently, I decided to pursue a Ph.D in AI and machine learning. I currently work on meta-learning and machine learning (ML) for Theorem Proving (TP) at Stanford University. -
Azalia Mirhoseini
Assistant Professor of Computer Science
BioAzalia Mirhoseini is an Assistant Professor in the Computer Science Department at Stanford University. Professor Mirhoseini's research interest is in developing capable, reliable, and efficient AI systems for solving high-impact, real-world problems. Her work includes generalized learning-based methods for decision-making problems in systems and chip design, self-improving AI models through interactions with the world, and scalable deep learning optimization. Prior to Stanford, she spent several years in industry AI labs, including Anthropic and Google Brain. At Anthropic, she worked on advancing the capabilities and reliability of large language models. At Google Brain, she co-founded the ML for Systems team, with a focus on automating and optimizing computer systems and chip design. She received her BSc degree in Electrical Engineering from Sharif University of Technology and her PhD in Electrical and Computer Engineering from Rice University. Her work has been recognized through the MIT Technology Review’s 35 Under 35 Award, the Best ECE Thesis Award at Rice University, publications in flagship venues such as Nature, and coverage by various media outlets, including MIT Technology Review, IEEE Spectrum, The Verge, The Times, ZDNet, VentureBeat, and WIRED.
-
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
On Partial Leave from 04/01/2026 To 06/30/2026BioSubhasish 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 funded by the US CHIPS and Science Act, leads the Computation Focus Area of the Stanford SystemX Alliance, and is the Associate Chair (Faculty Affairs) of 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, Invited Professor at EPFL in Switzerland, and Visiting Professor at the University of Tokyo in Japan. Prof. Mitra also has consulted for major technology companies including AMD (XIlinx), Cisco, Google, Intel, Merck (EMD Electronics), and Samsung.
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 (Silicon Lifecycle Management, Predictive Health Monitoring, In-System Test Architecture, In-field Scan, In-fleet Scan). His X-Compact approach has proven essential to cost-effective manufacturing and high-quality testing of almost all 21st century 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.
