Olin Shivers
Research Interests
- Programming Languages
- Systems and Networking
- Compilers
Education
- PhD in Computer Science, Carnegie Mellon University
- BS in Computer Science and Mathematics, Yale University
Biography
Olin Shivers is a professor in the Khoury College of Computer Science at Northeastern University. Prior to joining Northeastern, Shivers was a research scientist in the Artificial Intelligence Laboratory at the Massachusetts Institute of Technology, where he co-founded the Personal Information Architecture Group. In 1999, he served as Founder and Chief Technology Officer of Smartleaf Corporation, then continued to teach in the College of Computing at the Georgia Institute of Technology.
Shivers’ interests lie in the design of tools that assist programmers in the construction of robust, complex software artifacts. By focusing on the interaction between systems and higher-order typed programming languages he analyzes the design and analysis of programming languages and compilers.
His research has been cited in Logistical Methods in Computer Science, Journal of Functional Programming, and Theoretical Computer Science. Shivers’ research has been funded by the NSF, Cisco, DARPA, and Microsoft.
Research Interests
- Programming Languages
- Systems and Networking
- Compilers
Education
- PhD in Computer Science, Carnegie Mellon University
- BS in Computer Science and Mathematics, Yale University
Biography
Olin Shivers is a professor in the Khoury College of Computer Science at Northeastern University. Prior to joining Northeastern, Shivers was a research scientist in the Artificial Intelligence Laboratory at the Massachusetts Institute of Technology, where he co-founded the Personal Information Architecture Group. In 1999, he served as Founder and Chief Technology Officer of Smartleaf Corporation, then continued to teach in the College of Computing at the Georgia Institute of Technology.
Shivers’ interests lie in the design of tools that assist programmers in the construction of robust, complex software artifacts. By focusing on the interaction between systems and higher-order typed programming languages he analyzes the design and analysis of programming languages and compilers.
His research has been cited in Logistical Methods in Computer Science, Journal of Functional Programming, and Theoretical Computer Science. Shivers’ research has been funded by the NSF, Cisco, DARPA, and Microsoft.