Roman Manevich

Architectural Formal Engineer at ARM

Research interests

• EDA problems: functional reduction, logical ECO

• Inductive Programming: "Can we learn programs from traces?"

  • Software: Pexyn

• Software verification: "Does my program always behave as intended?"

• Shape Analysis: "How are my objects organized in memory?"