Probabilistic Programming and Type Systems


Probabilistic Programming and Type Systems

Principal Investigator

Greg Morrisett

Harvard's School of Engineering and Applied Sciences

Oracle Fellowship Recipient

Dan Huang

Oracle Principal Investigator

Guy Steele, Software Architect


Oracle Labs is sponsoring a collaborative research program with Professor Greg Morrisett of Harvard to support his research in the areas of probabilistic programming and type systems. The goal of the probabilistic programming research collaboration is to prototype and evaluate tools that could simplify the development and deployment of machine learning solutions. The Java language is evolving in important areas such as type systems. Professor Morrisett is a world leader in type systems and will be providing his expertise and insight to help inform Oracle's ongoing work in Java.