Probabilistic Programming and Type Systems
Project
Probabilistic Programming and Type Systems
Principal Investigator
Harvard's School of Engineering and Applied Sciences
Oracle Fellowship Recipient
Oracle Principal Investigator
Guy Steele, Software Architect
Summary
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.