I am a senior researcher in the Deep Learning team at Microsoft Research, Redmond.
Before that I was a PhD student in Computer Science at MIT advised by Prof. Armando Solar-Lezama.
My research interests are in Artificial Intelligence and Program Synthesis. I develop neurosymbolic approaches for learning models that are interpretable and generalizable.

  • Safe Human-Interactive Control Modulo Fault
    Jeevana Priya Inala , Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama
    Under submission
  • Program Synthesis Guided Reinforcement Learning
    Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard.
    To appear in NeurIPS 2021, Spotlight presentation
  • Likelihood-Based Diverse Sampling for Trajectory Forecasting
    Jason Yecheng Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani
    International Conference on Computer Vision (ICCV), 2021
  • Neurosymbolic Transformers for Multi-Agent Communication
    Jeevana Priya Inala*, Yichen Yang*, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, and Armando Solar-Lezama
    NeurIPS 2020
    [paper] [talk]
  • Synthesizing Programmatic Policies that Inductively Generalize
    Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, and Armando Solar-Lezama
    ICLR 2020
    [paper] [talk]
  • Task-based Design of Modular Ad-hoc Manipulators.
    Thais Campos*, Jeevana Priya Inala*, Armando Solar-Lezama, and Hadas Krez-Gazit
    ICRA 2019, Montreal, Canada
    [paper] [poster]
  • InverseCSG: Automatic Conversion of 3D Models to CSG Trees.
    Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, and Wojciech Matusik
    ACM SIGGRAPH ASIA 2018, Tokyo, Japan
  • WebRelate: Integrating Web Data with Spreadsheets using Examples
    Jeevana Priya Inala, and Rishabh Singh
    POPL 2018, Los Angeles, USA
    [paper] [slides]
  • Synthesis of Recursive ADT Transformers from Reusable Templates
    Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Ben Lerner, and Armando Solar-Lezama
    TACAS 2017, Uppsala, Sweden
    [paper] [slides] [poster]
  • Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
    Jeevana Priya Inala, Rohit Singh, and Armando Solar-Lezama
    SAT 2016, Bordeaux, France
    [paper] [slides]
  • Type-Aware Transactions for Faster Concurrent Code
    Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian Tsai, Eddie Kohler, Barbara Liskov, and Liuba Shrira
    EuroSys 2016, London, UK
(* Equal Contribution)
  • Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
    Jeevana Priya Inala
    MEng Thesis, MIT 2016
  • Microsoft Research Women's Fellowship, 2016-17.
  • Charles and Jennifer Johnson MEng Thesis First Place Award, 2016.
  • First place in ACM SRC Grand Finale in Undergrad category, 2016.
  • First place in PLDI student research competition in Undergrad category, 2015.
  • Acitifio Undergrad Research and Innovation Scholar, 2014-15.
  • Gold Medal at 13th Asian Physics Olympiad, 2012 held in New Delhi, India.
  • Silver Medal in 43rd International Physics Olympiad, 2012 held in Tallinn, Estonia.
  • Gold Medal and Best in Theory in 5th International Olympiad in Astronomy and Astrophysics, 2011 held in Krakow, Poland.
  • Silver Medal in 14th International Olympiad in Astronomy, 2009 held in Hangzhou, China.