School of Engineering
Showing 1-100 of 1,627 Results
-
Maneesh Agrawala
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.
-
Alex Aiken
Alcatel-Lucent Professor in Communications and Networking and Professor of Particle Physics and Astrophysics and of Photon Science
BioAlex Aiken is the Alcatel-Lucent Professor of Computer Science at Stanford. Alex received his Bachelors degree in Computer Science and Music from Bowling Green State University in 1983 and his Ph.D. from Cornell University in 1988. Alex was a Research Staff Member at the IBM Almaden Research Center (1988-1993) and a Professor in the EECS department at UC Berkeley (1993-2003) before joining the Stanford faculty in 2003. His research interest is in areas related to programming languages.
-
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/
-
Mateo Arbelaez Echeverri
Undergraduate, Computer Science
BioColombian entrepreneur pursuing a degree in Management Science and Engineering. My passions are: operations, optimization, and decision analysis. I am also interested in the history of financial crises, particularly the ones before the creation of central banks.
In my spare time I enjoy going to modern art museums as well as plays and operas. -
Clark Barrett
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.
