Stanford University
Showing 11-20 of 143 Results
-
Clark Barrett
Mizuki Asano and Thomas McGrath Professor
Current Research and Scholarly InterestsAutomated reasoning; satisfiability modulo theories (SMT); formal methods;
formal verification; verification of smart contracts; verification of neural
networks; AI safety; security; hardware design productivity and verification. -
Gill Bejerano
Professor of Developmental Biology, of Computer Science and of Pediatrics (Genetics)
Current Research and Scholarly Interests1. Automating monogenic patient diagnosis.
2. The genomic signatures of independent divergent and convergent trait evolution in mammals.
3. The logic of human gene regulation.
4. The reasons for sequence ultraconservation.
5. Cryptogenomics to bridge medical silos.
6. Cryptogenetics to debate social injustice.
7. Managing patient risk using machine learning.
8. Understanding the flow of money in the US healthcare system. -
Michael Bernstein
Professor of Computer Science and Senior Fellow at the Stanford Institute for Human-Centered AI
BioMichael Bernstein is a Professor of Computer Science at Stanford University, where he is a Bass University Fellow and Senior Fellow at the Stanford Institute for Human-Centered Artificial Intelligence. A nationally bestselling author, Michael focuses on designing social, societal, and interactive technologies. This research has been reported in venues such as The New York Times, TED AI, and MIT Technology Review, and Michael himself has been recognized with an Alfred P. Sloan Fellowship and the Computer History Museum's Tech for Humanity Prize. Michael holds a bachelor's degree in Symbolic Systems from Stanford University, as well as a master's degree and a Ph.D. in Computer Science from MIT.
-
Jeannette Bohg
Associate Professor of Computer Science
BioJeannette Bohg is an Assistant Professor of Computer Science at Stanford University. She was a group leader at the Autonomous Motion Department (AMD) of the MPI for Intelligent Systems until September 2017. Before joining AMD in January 2012, Jeannette Bohg was a PhD student at the Division of Robotics, Perception and Learning (RPL) at KTH in Stockholm. In her thesis, she proposed novel methods towards multi-modal scene understanding for robotic grasping. She also studied at Chalmers in Gothenburg and at the Technical University in Dresden where she received her Master in Art and Technology and her Diploma in Computer Science, respectively. Her research focuses on perception and learning for autonomous robotic manipulation and grasping. She is specifically interesting in developing methods that are goal-directed, real-time and multi-modal such that they can provide meaningful feedback for execution and learning. Jeannette Bohg has received several awards, most notably the 2019 IEEE International Conference on Robotics and Automation (ICRA) Best Paper Award, the 2019 IEEE Robotics and Automation Society Early Career Award and the 2017 IEEE Robotics and Automation Letters (RA-L) Best Paper Award.
-
Dan Boneh
Cryptography Professor and Professor of Electrical Engineering
BioProfessor Boneh heads the applied cryptography group and co-direct the computer security lab. Professor Boneh's research focuses on applications of cryptography to computer security. His work includes cryptosystems with novel properties, web security, security for mobile devices, and cryptanalysis. He is the author of over a hundred publications in the field and is a Packard and Alfred P. Sloan fellow. He is a recipient of the 2014 ACM prize and the 2013 Godel prize. In 2011 Dr. Boneh received the Ishii award for industry education innovation. Professor Boneh received his Ph.D from Princeton University and joined Stanford in 1997.
-
Adam Bouland
Assistant Professor of Computer Science
BioAdam Bouland is an Assistant Professor of Computer Science. His research focuses on quantum computing theory and connections between computational complexity and physics. Please see http://theory.stanford.edu/~abouland/ for details.
