School of Engineering
Showing 1-10 of 132 Results
Forest Baskett Professor in the School of Engineering and Professor, by courtesy, of Electrical Engineering
Current Research and Scholarly InterestsComputer Graphics, Human Computer Interaction and Visualization.
Alcatel-Lucent Professor in Communications and Networking and Professor of Particle Physics and Astrophysics and of Photon Science
BioAiken's research focuses on developing techniques for the construction of reliable software systems. His interests include both static and dynamic methods of analyzing programs, and span both detecting errors and verifying the absence of errors in software. Most of his research combines a theoretical component (for example, proving the soundness of an analysis technique) and a practical component, which often involves the implementation and measurement of advanced program analysis algorithms. Finally, his research also extends to the design of new programming languages and programming techniques in which it is easier to write software that can be checked for a wide variety of errors.
Russ B. Altman
Kenneth Fong Professor and Professor of Bioengineering, of Genetics, of Medicine (General Medical Discipline), of Biomedical Data Science and, by courtesy, of Computer Science
Current Research and Scholarly InterestsI refer you to my web page for detailed list of interests, projects and publications. In addition to pressing the link here, you can search "Russ Altman" on http://www.google.com/
Assistant Professor of Computer Science
BioPeter Bailis is an assistant professor of Computer Science at Stanford University. Peter's research in the Future Data Systems group focuses on the design and implementation of next-generation, post-database data-intensive systems. His work spans large-scale data management, distributed protocol design, and architectures for high-volume complex decision support. He is the recipient of an NSF Graduate Research Fellowship, a Berkeley Fellowship for Graduate Study, best-of-conference citations for research appearing in both SIGMOD and VLDB, and the CRA Outstanding Undergraduate Researcher Award. He received a Ph.D. from UC Berkeley in 2015 and an A.B. from Harvard College in 2011, both in Computer Science.
Associate Professor (Research) of Computer Science
Current Research and Scholarly InterestsIn an increasingly automated and networked world, a pressing challenge is ensuring the security and dependability of hardware and software systems. Formal techniques (based on mathematical logic) are among the most powerful tools available for finding difficult bugs and ensuring correctness. My research vision is to develop general-purpose, automated, and scalable formal techniques, with the aim of providing a sound and practical foundation for reliable computer systems.
Associate Professor of Developmental Biology, of Computer Science, of Biomedical Data Science and of Pediatrics (Genetics)
Current Research and Scholarly InterestsDr. Bejerano, co-discoverer of ultraconserved elements, studies the Human Genome. His research focuses on genome sequence and function in both humans and related primate, mammalian and vertebrate species. He is deeply interested in mapping both coding and non-coding genome sequence variation to phenotype differences, and in extracting specific genetic insights from high throughput sequencing measurements, in the contexts of development and developmental abnormalities.
Associate Professor of Computer Science
BioMichael Bernstein is an Assistant Professor of Computer Science at Stanford University, where he is a member of the Human-Computer Interaction group. His research focuses on the design of crowdsourcing and social computing systems. His research has received numerous best paper awards at premier computing venues, and his Ph.D. students have gone on both to industry (e.g., Adobe Research, Facebook Data Science) and faculty positions (e.g., Carnegie Mellon, UC Berkeley). Michael has been recognized as a Robert N. Noyce Family Faculty Scholar, and has received an NSF CAREER award, an Outstanding Academic Title citation from the American Library Association, and an Alfred P. Sloan Fellowship. He 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.