Roman Manevich

Assistant professor
Computer Science department
Ben-Gurion University of the Negev.

Research interests
  • Future Programming Languages: "Can we re-invent programming languages to with correctness in mind?"
  • Software Synthesis: "Can we synthesize code from examples?"
  • Software verification: "Does my program always behave as intended?"
  • Shape Analysis: "How are my objects organized in memory?"
Office: 208 in building 37 Phone: +972-8-6477879 Fax: +972-8-6477650