Kenneth Paul Birman
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 and applying it to problems such as 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 Isis2, has already been downloaded more than 4000 times from Isis2.codeplex.com.
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.
Professor Birman teaches number of courses, including Cornell's second class in computing, CS2110. He created our very popular CS5412 Cloud Computing graduate course, and also teaches CS6410, a PhD class in distributed systems. In the spring of 2015 he will be offering a new course in which CS undergraduates will integrate the different ideas they have learned at Cornell into a single "capstone" project.
- 2013. "An Analysis of Facebook Photo Caching." Paper presented at The 24th ACM Symposium on Operating Systems Principles, November. .
- 2016. "Treating Software-Defined Networks Like Disk Arrays." Paper presented at 2nd IEEE International Conference on Network Software and Virtualization, Seoul, June. .
- 2015. "Reflections on the History of Operating Systems Research in Fault Tolerance." Paper presented at Invited essay accompanying ACM History Day talk-SOSP History Day, New York, NY, November. .
- 2015. "Cache Serializability: Reducing Inconsistency in Edge Transactions." Paper presented at Intl. Conference on Distributed Computing Systems (ICDCS), IEEE 35th International Conference, July (3rd Quarter/Summer) 2. .
- 2015. "Building a Secure and Privacy-Preserving Smart Grid." ACM SIGOPS Operating Systems Review 49 (1): 131-136. .
Selected Awards and Honors
- IEEE Technical Committee on Distributed Processing Outstanding Achievement Award 2009
- Research Visionary Award (Cisco Corporation) 2008
- ACM SIGOPS Hall of Fame award 2013
- IEEE Senior Member (Institute of Electrical and Electronics Engineers) 2012
- IEEE Tsutomu Kanai Award 2009
- BS (Computer & Information Science), Columbia University, 1978
- MS (Computer & Information Science), University of California-Berkeley, 1979
- Ph D (Computer & Information Science), University of California- Berkeley, 1981