• RSS
  • Contact
  • Publications
  • Press
  • Photos-videos

Microsoft Research - Inria Joint Centre

  • Homepage
  • About the Joint Centre
    • Overview
    • Highlights
    • Timeline
  • Research Areas & Projects
    • Research Areas
      • Computer Vision and Medical Imaging
      • Formals Methods
      • Machine Learning & Big Data
      • Security & Privacy
      • More
    • Projects
      • 4D Cardiac MR Images
      • Mathematical Components
      • A-Brain
      • ReActivity
      • Adaptative Combinatorial Search for E-science
      • Scientific Image and Video Mining
      • Secure Distributed Computations and their Proofs
      • Dynamic Dictionary of Mathematical Functions
      • Tools for Proofs
      • More
  • Researchers
  • News & Events
    • News
    • Events
    • Conferences & Workshops
  • Open Positions
  • Laurent Massoulie
    Overview Microsoft Research Inria Joint Centre
  • Home Page_News
    16 April 2013 Our new website is live !
    • microsoft_centre
      Image 5
      Microsoft Research
      Inria Joint Centre

      The Centre's objective is to pursue
      fundamental, long-term research in
      formal methods, software security,
      and the application of Computer
      Science research to the Sciences.

      Image 6
      More
    • learning-machine
      Image 5
      Microsoft Research
      Machine Learning
      Summit 2013
      Watch the event live!
      April 23, 2013 | 9:30AM-1:00PM (ET)
      Image 6
      More
    • 4-colours-home
      Image 5
      Mathematical
      Components
      Team members have completed
      an axiom-free formalization of
      the proof of the Odd Order theorem,
      using theCoq proof assistant
      Image 6
      More

    Projects

    privacy

    Adaptative Combinatorial Search for E-science

    Image-Video-Missing-Science-Humanities

    Scientific Image and Video Mining

    More

    Researchers

    Tassi

    Enrico Tassi

    Mathematical Components

    chercheur5

    Bruno Salvy

    Dynamic Dictionary of Mathematical Functions

    Avatar- profil Picture

    Benoit Da Mota

    A-Brain

    Pierre Lairez

    Pierre Lairez

    Dynamic Dictionary of Mathematical Functions

    Avatar- profil Picture

    Tomer Libal

    Tools for Proofs

    More

    News

    Futur En Seine
    14 June 2013

    The “Digital images & Video Mining” project at Futur en seine 2013

    Home Page_News
    16 April 2013

    Our new website is live !

    More

    Events

    Digiteo -Logo
    13 June 2013

    Digiteo Seminar: “Le génie mathématique, du théorème des quatre couleurs à la classification des groupes”

      20 June 2013, 14:00-15:00,  Orsay University, department of Mathematics, Bat 425 (ground ...

    More
    • About the Joint Centre
      • Overview
      • Highlights
      • Timeline
    • Research Areas & Projects
      • Research areas
      • Projects
    • Researchers
    • News & Events
      • News
      • Events
      • Conferences & Workshops
    • Open Positions
      • Internships
      • PhD
      • Post Doctoral Positions
    • RSS
    • Contact
    • Publications
    • Press
    • Photos-videos

    Location:

    Campus de l’école polytechnique,
    bâtiment Alan Turing
    1 rue Honoré d'Estienne d'Orves
    91120 Palaiseau

    Microsoft Research Inria Joint Centre

    • Sitemap
    • Legal Conditions
    • Credits
    • Accessibility