This site will look much better in a browser that supports web standards, but it is accessible to any browser or Internet device.

JIST - Java Interface Synthesis Tool



People

  • Faculty

  • Rajeev Alur
    E-mail: alur at cis dot upenn dot edu

  • Postdocs

  • Madhusudan Parthasarathy
    E-mail: madhusud at saul dot cis dot upenn dot edu

  • Students

  • Pavol Cerny
    E-mail: cernyp at cis dot upenn dot edu

  • Wonhong Nam
    E-mail: wnam at cis dot upenn dot edu

  • Past members

  • Gunjan Gupta
    E-mail: ggupta at seas dot upenn dot edu

  • Anshuman Srivastava
    E-mail: anshuman at seas dot upenn dot edu