Roman Manevich

Roman Manevich is an accomplished professional in computer science with extensive experience across prominent technology companies and academic institutions. Currently serving as an Architecture Formal Engineer at Arm since November 2023, Roman has previously held positions as a Software Engineer at Facebook from January 2021 to September 2023, and as a Staff Verification Engineer at Mellanox Technologies between October 2018 and December 2020. Roman's academic contributions include serving as an Assistant Professor at Ben-Gurion University of the Negev from October 2012 to September 2018, and completing postdoctoral fellowships at the University of Texas at Austin and UCLA. Roman earned a Ph.D. in Computer Science from Tel Aviv University, where involvement included teaching as a Recitation Instructor and assisting in various research projects, including internships at Microsoft Research and Cadence Design Systems.