Roman Manevich

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

Research interests
  • Future Programming Languages: "Can we re-invent programming to increase correctness and performance?"
  • Software Synthesis: "Can we teach computers to code?"
  • 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