- Research News
- Contact Us
- Department Life
- Oral History of Cornell CS
- Department Timeline
- Annual Reports
- Job Postings
- Ithaca Info
- Internal info
- CS Colloquium
- CU Tech Colloquium
- BOOM 2017
- SoNIC Workshop
- Conway-Walker Lecture Series
- Salton Lecture Series
- Seminars / Lectures
- Big Red Hacks
- 50th Anniversary Symposium
- Cornell University High School Programming Contest
- Game Design Initiative
- SJTU International Workshop
Scott Aaronson is Associate Professor of Electrical Engineering and Computer Science at MIT. He was a CS major at Cornell; he also did graduate work at UC Berkeley, and postdocs at the Institute for Advanced Study and University of Waterloo. His research focuses on the capabilities and limits of quantum computers, and more generally on computational complexity theory and its relationship to physics. His first book, Quantum Computing Since Democritus, was published in 2013 by Cambridge University Press. Scott has written about quantum computing for Scientific American and the New York Times, and writes a popular blog. He has received the National Science Foundation’s Alan T. Waterman Award, the United States PECASE Award, and MIT’s Junior Bose Award for Excellence in Teaching
The Alcatel-Lucent Professor and Department Chair in Computer Science at Stanford University, Alex Aiken received his bachelor’s degree in Computer Science and Music from Bowling Green State University in 1983 and his PhD 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. He is an ACM Fellow, a recipient of Phi Beta Kappa’s Teaching Award, and a former National Young Investigator. His research focuses on developing reliable, high-performance software systems, which often involves improving performance or correctness or both.
Lorenzo Alvisi is a Professor of Computer Science at the University of Texas at Austin, where he co-leads the Laboratory for Advanced Systems Research (LASR). He received a PhD in Computer Science from Cornell University, which he joined after earning a Laurea degree Summa cum Laude in Physics from the University of Bologna, Italy. His research interests are in the theory and practice of distributed computing, with a particular focus on dependability. He is an ACM Fellow, an Alfred P. Sloan Foundation Fellow, and the recipient of a Humboldt Research Award, an NSF Career Award, and several teaching awards, including the UT System Regents’ Outstanding Teaching Award. In 2011, he was appointed Visiting Chair Professor at Shanghai Jiao Tong University.
Lars Backstrom is the Director of News Feed Ranking and Infrastructure at Facebook. After joining Facebook in 2009, he led the evolution of the friend suggestion ranking system, including the initial backend service that held the entire Facebook social graph in memory, sharded across many machines. In 2011, he moved to direct News Feed ranking; over the past three years, his group has developed algorithms and features for ranking News Feed that have enabled Facebook to make dramatic improvements in the billion personalized newspapers it publishes every day. Before joining Facebook, Lars received his PhD from Cornell University, where he focused on data mining and machine learning using large-scale datasets, with an emphasis on Web information, social computing applications, and on-line social networks.
Edmund Clarke is the FORE Systems University Professor of Computer Science at Carnegie Mellon University. He received his PhD from Cornell University and taught at Duke and Harvard universities before joining CMU in 1982. His research interests include hardware and software verification and automatic theorem proving. His research group developed Symbolic Model Checking using BDDs and Bounded Model Checking using fast CNF satisfiability solvers, and pioneered the use of CounterExample-Guided-Abstraction-Refinement (CEGAR). Ed is a co-founder of the conference on Computer Aided Verification (CAV). He has received numerous awards for his contributions, including the IEEE Goode Award, ACM Kanellakis Award, ACM Turing Award, CADE Herbrand Award, and the 2014 Franklin Institute Bower Award and Prize for Achievement in Science. He is a member of the National Academy of Engineering and the American Academy of Arts and Sciences.
Principal Researcher at Microsoft Research, Michael Cohen served on the faculty of Computer Science at Princeton University until 1994, and previously on Architecture faculty at Cornell. He received the 1998 SIGGRAPH Computer Graphics Achievement Award for his contributions to the Radiosity method for image synthesis and also served as the paper’s chair for SIGGRAPH ‘98. He holds a PhD from the University of Utah, an MS in Computer Graphics from Cornell and undergraduate degrees in Art and Civil Engineering from Beloit College and Rutgers University, respectively. His early work at Cornell and Princeton on the radiosity method for realistic image synthesis is discussed in his book Radiosity and Image Synthesis (co-authored with John R. Wallace). His work at Microsoft has included computational photography, image-based rendering, animation, camera control and non-photorealistic rendering.
Robert Cook was the co-architect and primary author of Pixar’s RenderMan software, which creates photo-realistic computer images. For the last 20 years, almost every film nominated for a Visual Effects Academy Award has used RenderMan. In 2001, Cook and two colleagues received Oscars for their contributions, the first ever given for software. He has a bachelor’s degree in physics from Duke University and a master’s degree in Computer Graphics from Cornell University. At Cornell, he worked on simulating realistic surfaces, taking computer-generated images beyond the distinctive plastic look they had at the time. In 1981, he joined Lucasfilm/Pixar, where he invented programmable shading, which is essential to GPUs and game engines as well as high-end renderers. As VP of Software Development at Pixar, he led their 100-person internal software R&D team. He was also CEO of two successful startup companies, Light Source and Numinous. In 2009, Cook received the ACM SIGGRAPH Stephen A. Coons Award for his lifetime contributions to the field. In 1999, he was named a Fellow of the Association for Computing Machinery. He has been honored with membership in both the Academy of Motion Picture Arts and Sciences and the National Academy of Engineering.
Cynthia Dwork, Distinguished Scientist at Microsoft Research, is renowned for placing privacy-preserving data analysis on a mathematically rigorous foundation. A cornerstone of this work is differential privacy, a strong privacy guarantee frequently permitting highly accurate data analysis. She also has made seminal contributions in cryptography and distributed computing, and is a recipient of the Edsger W. Dijkstra Prize, recognizing some of her earliest work establishing the pillars on which every fault-tolerant system has been built for decades. She is a member of the National Academy of Sciences and the National Academy of Engineering, and a Fellow of the American Academy of Arts and Sciences.
Baining Guo is Assistant Managing Director of Microsoft Research Asia, where he also leads the graphics lab. Prior to joining Microsoft Research in 1999, he was a senior staff researcher with the Microcomputer Research Labs of Intel Corporation in Santa Clara, California. Guo graduated from Beijing University with a BS in mathematics and received his MS and PhD degrees in Computer Science and Applied Mathematics from Cornell University. His research interests include computer graphics, visualization, and natural user interface. Guo is a fellow of IEEE and was on the editorial boards of IEEE Transactions on Visualization and Computer Graphics (2006–2010) and Computer and Graphics (2007–2011). He is currently an associate editor of IEEE Computer Graphics and Applications. He has been on the program committees of numerous conferences in graphics and visualization, and serves as the papers chair for the 2014 ACM SIGGRAPH Asia conference. Guo holds over 50 US patents.
Robert Harper is a professor of Computer Science at Carnegie Mellon University, where he has been a faculty member since 1988. He received his PhD in CS from Cornell in 1985 and did post-doctoral research at the Lab for Foundations of CS at Edinburgh University from 1985–88. He is best known for his work on the design, definition, and implementation of Standard ML; the LF logical framework; type-theoretic foundations of modularity in programming languages; the use of typed intermediate languages for certified compilation; the co-invention of self-adjusting computation for dynamic algorithms; and the development of cost semantics for reasoning about the complexity of programs written in high-level languages. His recent work is concerned with homotopy type theory, especially its computational interpretation. He co-authored several books and received two awards for the most influential paper ten and twenty years after publication. He is a Fellow of the ACM. At CMU, he was honored with the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence. He is well known for his role in the creation and evolution of the Oregon Programming Languages Summer School.
Juris Hartmanis is Emeritus Walter R. Read Professor of Computer Science and Engineering at Cornell University. He obtained his Ph.D. in 1955 from the California Institute of Technology and served as the first chairman of the Cornell computer Science Department. He is also the founder of the field of computational complexity theory. He believes that computational complexity – the study of the quantitative laws that govern computation – is an essential part of the science base needed to guide, harness and exploit the explosively growing computer technology. He was named a Fellow of the American Academy of Arts and Sciences in 1992 and received the ACM Turing Award in 1993. He has received numerous other honors and awards, including the Grand Medal from the Latvian Academy of Science, membership in the National Academy of Engineering and National Academy of Science.
Thomas A. Henzinger is president of Institute of Science and Technology Austria. He holds a Dipl.-Ing. degree in Computer Science from Kepler University in Linz, Austria, an MS degree in Computer and Information Sciences from the University of Delaware, a PhD degree in Computer Science from Stanford University, and an honorary doctorate from Fourier University in Grenoble, France. He was Assistant Professor of Computer Science at Cornell University from 1992–95 and Professor of Electrical Engineering and Computer Science at the University of California, Berkeley. He was also Director at the Max-Planck Institute for Computer Science in Saarbruecken, Germany, and Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland. His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. He has received the Wittgenstein Award of the Austrian Science Fund and an ERC Advanced Investigator Grant.
John E. Hopcroft is the IBM Professor of Engineering and Applied Mathematics in Computer Science at Cornell University. From January 1994 until June 2001, he was the Joseph Silbert Dean of Engineering. After receiving both his MS and PhD degrees in electrical engineering from Stanford University, he spent three years on the faculty of Princeton University. He joined the Cornell faculty in 1967, served as chairman of the Department of Computer Science from 1987 to 1992, and was the associate dean for college affairs in 1993. Hopcroft’s research centers on theoretical aspects of computing, especially analysis of algorithms, automata theory, and graph algorithms. He has coauthored four books on formal languages and algorithms with Jeffrey D. Ullman and Alfred V. Aho. His most recent work is on the study of information capture and access. He was honored with the A. M. Turing Award in 1986. He is a member of the National Academy of Sciences, the National Academy of Engineering, and a Fellow of the American Academy of Arts and Science, American Association for the Advancement of Science, IEEE, and the ACM.
Marc Levoy is the VMware Founders Professor of Computer Science and Electrical Engineering, Emeritus, at Stanford University, where he taught computer graphics and the science of art, and still teaches digital photography. Levoy co-designed the Google book scanner, launched Google’s Street View project, and currently leads a team in GoogleX that has worked on Project Glass and the Nexus 5 HDR+ mode. He received degrees in Architecture from Cornell University and a PhD in Computer Science from the University of North Carolina at Chapel Hill. His career has included computer animation, developing a cartoon animation system that was used by Hanna-Barbera Productions to make The Flintstones and Scooby Doo; volume rendering, a technique for displaying three-dimensional functions; and 3D laser scanning, culminating in the Digital Michelangelo Project. Awards include the National Science Foundation Presidential Young Investigator in 1991, ACM SIGGRAPH Computer Graphics Achievement Award in 1996, and ACM Fellow in 2007.
Rohan Murty is a junior fellow at the Harvard Society of Fellows. He received his PhD in computer science from Harvard in 2011 and a BS from Cornell in 2005. His research interests span networked systems, distributed systems, and software engineering. His thesis work, which focused on architectures for dynamic spectrum access in wireless networks, won a best paper award at SIGCOMM and was rated as the highest ranked paper at DySpan. Rohan’s research work has been supported by fellowships from Microsoft Research, the Siebel Foundation, and the Computing Innovations Fellows program at the Computing Research Association (CRA). Over the last year, Rohan has been on leave from Harvard, working on software engineering-related problems at Infosys, Ltd., in Bangalore, India.
Michael Reiter is the Lawrence M. Slifkin Distinguished Professor at the University of North Carolina (UNC) at Chapel Hill. He received his BS degree in mathematical sciences from UNC in 1989, and his MS and PhD degrees in computer science from Cornell University. He joined AT&T Bell Labs in 1993 and became a founding member of AT&T Labs – Research when NCR and Lucent Technologies (including Bell Labs) were split away from AT&T in 1996. He then returned to Bell Labs in 1998 as Director of Secure Systems Research. In 2001, he joined Carnegie Mellon University as a Professor of Electrical & Computer Engineering and Computer Science, where he was also the founding Technical Director of CyLab. He joined the UNC faculty in 2007. Reiter’s research interests include all areas of computer and communications security and distributed computing. His present research focuses primarily on security of cloud computing and networks, as well as usable security. Reiter was named an ACM Fellow in 2008 and an IEEE Fellow in 2014.
Daniela Rus is the Andrew (1956) and Erna Viterbi Professor of Electrical Engineering and Computer Science and Director of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT. She also leads CSAIL’s Distributed Robotics Laboratory. Rus’ research interests are in robotics, mobile computing, and big data. At CSAIL, she has led numerous groundbreaking research projects in the areas of distributed robotics and self-reconfiguring robotics, with applications including transportation, manufacturing, security, underwater exploration, and agriculture. Rus is the recipient of the NSF Career Award and an Alfred P. Sloan Foundation Fellow. She is a Class of 2002 MacArthur Fellow and a fellow of AAAI and IEEE. Rus earned her PhD in Computer Science from Cornell University. Prior to coming to MIT, Rus was Assistant Professor, Associate Professor, and Professor in the Computer Science Department at Dartmouth College.
Holly Rushmeier is a Professor of Computer Science at Yale University, where she served as Department Chair from 2011 to 2014. Her research interests include shape and appearance capture, applications of perception in computer graphics, modeling material appearance, and developing computational tools for cultural heritage. She received her BS, MS, and PhD degrees in Mechanical Engineering from Cornell University. She worked as an engineer at the Boeing Commercial Airplane Company and at Washington Natural Gas Company (now a part of Puget Sound Energy). In 1988, she joined the Mechanical Engineering faculty at Georgia Tech, where she conducted research in computer graphics image synthesis and taught classes in heat transfer and numerical methods. In 1991, Rushmeier joined the computing and mathematics staff of the National Institute of Standards and Technology, focusing on scientific data visualization. From 1996 to 2004, she was a research staff member at the IBM T.J. Watson Research Center, working on a variety of data visualization problems. She received the National Science Foundation's Presidential Young Investigator Award in 1990 and the ACM SIGGRAPH Graphics Achievement Award in 2013, and is an ACM Distinguished Engineer and a Fellow of the Eurographics Association.
Amit Singhal is Senior Vice President and Google Fellow who is responsible for Google search. Singhal has overseen search engine ranking algorithms since 2000. From the Knowledge Graph, to Conversational Search, to Google’s latest “Hummingbird” algorithm update, no one has better insight into Google’s many methods of trying to make sense of the world’s information than Singhal. Amit has worked in the field of search for more than 20 years and his research interests include information retrieval, its application to web search, web graph analysis, and user interfaces for search. Prior to joining Google, Amit was a senior member of technical staff at AT&T Labs. He has an undergraduate degree from the Indian Institute of Technology Roorkee, a MS from the University of Minnesota, and a PhD from Cornell University, all in Computer Science. At Cornell, he studied Information Retrieval with the late Gerard Salton, one of the founders of the field. Amit has co-authored more than 30 scientific papers and numerous patents. He is a member of the National Academy of Engineering and an ACM Fellow.
Steven Strogatz is the Jacob Gould Schurman Professor of Applied Mathematics at Cornell University. After graduating summa cum laude in mathematics from Princeton in 1980, Strogatz studied at Trinity College, Cambridge, where he was a Marshall Scholar. He did his doctoral work in applied mathematics at Harvard, followed by a National Science Foundation postdoctoral fellowship at Harvard and Boston University. He taught in the Department of Mathematics at MIT (1989–94) and joined the Cornell faculty in 1994. Strogatz works in the areas of nonlinear dynamics and complex systems, often on topics inspired by the curiosities of everyday life. He has been a frequent guest on RadioLab, and wrote a weekly column on mathematics for The New York Times as well as a book, The Joy of x. He has received numerous awards for his research, teaching and public service and in 2012 was elected a Fellow of the American Academy of Arts and Sciences.
Duncan Watts is currently Principal Researcher and founding member of Microsoft Research Lab in Manhattan as well as Cornell University’s Andrew Dickson White Professor-at-Large. Before that, he directed the Human Social Dynamics Group at Yahoo! Research and taught sociology at Columbia University. Watts’ innovative applications of network analysis and online data to the study of human behavior and social interaction have led him to become one of the most prominent and respected network scientists in the world. Watts’ scientific papers have appeared in leading journals – including Nature, Science, Physical Review Letters, American Journal of Sociology, and Harvard Business Review – and he is the author of three books. He holds a PhD from Cornell University in Theoretical and Applied Mechanics and a BS in Physics from the Australian Defence Force Academy, from which he also received his officer’s commission in the Royal Australian Navy.
Stephanie Weirich is an Associate Professor of Computer and Information Science at the University of Pennsylvania. Her research centers on programming languages, type theory, and machine-assisted reasoning. In particular, she studies generic programming, metaprogramming, dependent type systems, and type inference in the context of functional programming languages. She is currently an Editor of the Journal of Functional Programming and served as the program chair for ICFP in 2010 and the Haskell Symposium in 2009.