Ken Birman
N. Rama Rao Professor of Computer Science
Computer Science
Biography
Ken Birman joined Cornell after receiving his PhD degree from U.C. Berkeley in Computer Science. He currently holds the N. Rama Rao Chair in Computer Science. A researcher in distributed systems, Professor Birman focuses on high assurance applications. His past work was used in settings that include the New York Stock Exchange, French Air Traffic Control System and US Navy AEGIS. More recent systems transitioned to companies like IBM, Microsoft, Cisco and Amazon. Professor Birman has been the Editor in Chief of the ACM Transactions on Computer Systems and has chaired or participated in program committees for numerous conferences. He has also run a number of studies on behalf of the Air Force, NSF, DARPA and DOE, aimed at understanding how best to exploit cloud computing in sensitive settings.
At present Professor Birman is working on a new software platform for reliable cloud computing to support use of machine-learning in cloud computing environments that track sensor data and need to take actions under tight time pressure. One concrete example involves managing the smart power grid, a topic he is exploring in collaboration with the New England ISO, the New York Power Authority, and the New York ISO. He has several recent publications on this work, and one of the main components, a system he calls Derecho, is available on GitHub.com for open-source download. Beyond the smart power grid, Derecho has applications to other kinds of smart infrastructures (such as highways, homes, cities), and can be used to create cloud storage infrastructures that use machine intelligence to decide what to store, how to preprocess it, and what forms of indexing to run now in anticipation of future requests.
Professor Birman is a member of the Computer Science graduate field, and plays an active role in advising Cornell NYC Tech post-docs through the Jacobs’ Institute’s Runway program.
Research Interests
Teaching Interests
Professor Birman teaches number of courses. In 2019, he is teaching CS-5412, an MEng-level course on Cloud Computing and CS-6465, a PhD class in distributed systems.
Selected Publications
- Derecho: Fast State Machine Replication for Cloud Services. Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Matthew Milano, Weijia Song, Edward Tremel, Robbert van Renesse, Sydney Zink, and Kenneth P. Birman. Accepted for publication, ACM Trans. Comput. Syst (ACM TOCS). Estimated date: March 2019.
- GridCloud: Infrastructure for Cloud-based Wide Area Monitoring of Bulk Electric Power Grids. Dave Anderson, Theo Gkountouvas, Ming Meng, Ken Birman, Anjan Bose, Carl Hauser, Eugene Litvinov, Xiaochuan Luo, Frankie Zhang. Accepted for publication, IEEE Transactions on Smart Grid (IEEE TSG). Estimated date: March 2019.
- Jonathan Behrens, Sagar Jha, Ken Birman, Edward Tremel. IEEE Distributed Systems and Networks (DSN ’18), Luxembourg, June 2018.
- The Freeze Frame File System. Weijia Song, Theo Gkountouvas, Ken Birman. ACM Symposium on Cloud Computing (SoCC’16), October 5-7, 2016, ACM, New York, NY pp. 307-320.
Selected Awards and Honors
- ACM Fellow 1999
- Research Visionary Award (Cisco Corporation) 2008
- IEEE Tsukomo Kanai Award in Distributed Computing, 2009
- IEEE Technical Committee on Distributed Processing Outstanding Achievement Award 2009
- Appointed N. Rama Rao Professor of Computer Science 2009
- IEEE Fellow 2012
- ACM SIGOPS Hall of Fame award 2013
Education
- B.S. (Computer & Information Science), Columbia University, 1978
- M.S. (Computer & Information Science), University of California-Berkeley, 1979
- Ph.D. (Computer & Information Science), University of California- Berkeley, 1981