The Manticore Project Microsoft Research Form

Instructions and help about The Manticore Project Microsoft Research

each year Microsoft research hosts hundreds of influential speakers from around the world including leading scientists renowned experts in technology book authors and leading academics and makes videos of these lectures freely [Music] available uh we very pleased to have John Rey here with us today um John is a very well-known computer scientist working in the area of programming languages many years uh he's uh best known for his work on concurrent ML and he spent uh many years at Bell Labs after which he moved to the University of Chicago where he's currently a professor and he's going to tell us about uh uh the Manticore project uh today welcome thank you um okay so uh thank you all for coming and uh this uh talk is both going to be a really a work in progress talk because this is a project that's that's ongoing and we've been at it for about a year and a half now um and it's also uh going to be somewhat of a Cump um about what uh we've been doing and so hopefully it'll have have som