Hari Mony

Associate Partner

Austin, Texas, United States24 yrs 11 mos experience

Highly Stable

Key Highlights

Expert in formal verification technologies and methodologies.
Proven track record in architecting advanced verification tools.
Leadership experience in high-impact technology roles.

Stackforce AI infers this person is a Formal Verification Technologist with expertise in advanced verification tools and methodologies.

Contact

Skills

Other Skills

Solution ArchitectureSoftware DevelopmentPerlVerilogCloud ComputingDebuggingUnixASICCAlgorithmsLinuxSoftware EngineeringShell ScriptingComputer ArchitectureFormal Verification

Experience

24 yrs 11 mos

Total Experience

8 yrs 2 mos

Average Tenure

3 mos

Current Experience

Real intent

2 roles

Associate Vice President

Promoted

Mar 2026 – Present · 3 mos

Principal Architect

Jan 2017 – Nov 2021 · 4 yrs 10 mos · Austin, Texas Metropolitan Area

Research, Architect and Develop tools and solutions for Advanced sign-off Verification

Synopsys inc

Senior Architect

Nov 2021 – Mar 2026 · 4 yrs 4 mos · Austin, Texas, United States · On-site

Ibm

Research and Development of Formal Verification Tools & Methodologies

Jul 2001 – Jan 2017 · 15 yrs 6 mos · Austin, Texas Metropolitan Area

Education

The University of Texas at Austin

PhD — Computer Engineering

Jan 2005 – Jan 2008

Indian Institute of Technology, Kharagpur

Bachelor of Technology (B.Tech.) — Electrical Engineering

Jan 1995 – Jan 1999

Stackforce found 100+ more professionals with Solution Architecture & Software Development

Explore similar profiles based on matching skills and experience

Mohammad Yeasin Arafat

Assistant Manager (Hr & Admin, Accounts, People & Culture, Liaison, Events & Training)

at Bfinit a cosmopolitan place for clients & products

Dhaka, Bangladesh9 yrs exp

HR AdministrationTraining ManagementAccount ManagementOperations ManagementVendor Management

Jason Martin

VP FDE

at Databricks

San Francisco, United States33 yrs 5 mos exp

Professional ServicesConsulting

Jorge Bestard

VP EMEA Sales

at Harvey

London, United Kingdom18 yrs 7 mos exp

Mentoring

Fatima Qutab

Senior Talent Partner (via Talentful)

at Fixify

Los Angeles, United States7 yrs 3 mos exp

Global SourcingTechnical RecruitingNiche Talent AcquisitionRecruitment MarketingDigital Marketing

Prakash Mishra (प्रकाश मिश्रा)

Staff Engineer

at Synopsys Inc

Hyderabad, India7 yrs 11 mos exp

Analog Circuit DesignLow-power Design

ASHUTOSH SINGH

Member Of Technical Staff

at Oracle

Bengaluru, India7 yrs 7 mos exp

Back-End Web DevelopmentSpring FrameworkComputer Science

Akshay Kinake

Staff Signoff Application Engineer

at Synopsys Inc

Bengaluru, India3 yrs 11 mos exp

Full Chip timing signoffSMC 3DIC STATiming ClosurePerformance Optimization

Lovleen Arora

Principal Engineer, NAND SubSystem Device Engineering

at Western Digital

Bengaluru, India9 yrs exp

NAND Flash MemorySystem DesignProduct Development