Senior Engineer
CurrentEDA methodology design and tool development focusing on verification, design synthesis and RAS
Sep 2023 - Present
AeroLeads people directory · profile
Arvind Haran Email & Phone Number
Senior Engineer at IBM
at
IBM
2 work emails found
@ibm.com
2 phones found area 970
LinkedIn matched
✓ Verified May 2026
4 data sources
Profile completeness 100%
Who is Arvind Haran? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Arvind Haran is listed as Senior Engineer at IBM at IBM, based in Austin, Texas, United States. AeroLeads shows a work email signal at ibm.com, phone signal with area code 970, and a matched LinkedIn profile for Arvind Haran.
Arvind Haran previously worked as Senior Engineer at Ibm and Advisory Software Engineer at Ibm. Arvind Haran holds Master'S Degree, Computer Science from University Of Utah.
Company email context
Email format at IBM
This section adds company-level context without repeating Arvind Haran's masked contact details.
{first_initial}{last}@ibm.com
89% confidence
AeroLeads found 2 current-domain work email signals for Arvind Haran. Compare company email patterns before reaching out.
Profile bio
About Arvind Haran
I'm a software engineer at the electronic design automation (EDA) verification tools team at IBM, Austin. Since Feb 2015, I've been learning about the POWER architecture and working on verifying cache coherence of IBM P9, to much satisfaction.Prior to this, I used to be a graduate student of computer science at the University of Utah where I worked on developing symbolic techniques for enabling soft-error resilience and approximate computation, under the advisory of Dr. Zvonimir Rakamaric. At school I got to do cool courses where I got to develop a compiler, a database system, an operating system and a really-fast tool that detects communities in large graphs. I took a break from school over summer 2013 for a high-frequency trading internship at Goldman Sachs, where I designed and developed a protocol suite for fast communication of forex quotes and trades. I like to call myself a systems software engineer considering my strong background in algorithm design, computer architecture, parallel computing, static analysis, program analysis, database systems, operating systems and concurrent/ distributed systems. I have strong programming experience in C++, C and Python, and have exposure to developing with languages such as Java, Racket and Matlab. To learn more, please email me at arvi90@gmail.com and/or connect with me on LinkedIn
Listed skills include C++, Algorithms, C, Java, and 46 others.
Current workplace
Arvind Haran's current company
Company context helps verify the profile and gives searchers a useful next step.
9 roles
Arvind Haran work experience
A career timeline built from the work history available for this profile.
Advisory Software Engineer
Team lead for pre-silicon end to end memory coherence verification and coverage tool used in POWER and Z processors. Product planning, execution and support. Formal applications developer, user engagement for next generation developer tools.
Jul 2018 - Sep 2023
Software Engineer: Eda Formal Verification And Simulation Framework Tools
Software engineer for CML (Coherence Monitoring Lite), a post-simulation memory coherence validation tool.Responsibilities:1. Support unit, core and system designers/verification engineers in simulation-defect localization using CML.2. Conceptualize and implement to scale formal techniques for memory coherence verification for systems under the POWER.
Feb 2015 - Jun 2018
Research Assistant
Software Analysis And Research Laboratory
Developing a symbolic differencing technique to enable error-resilience and approximate computation. Currently focusing on a developing a tool for employing this technique for C programs. Part of the team that is getting SMACK (Static Modular Assertion ChecKing Infrastructure) ready for SVCOMP 2015. Currently tuning SMACK for specific benchmarks for high.
Aug 2013 - Dec 2014
Forex Trading And Sales Technology Intern
Designed and developed a protocol suite in Java for communication of quote objects in the E-trading system. The proposed system shows 2x speedup than the existing system that uses QuickFIX/J.
May 2013 - Aug 2013
Research Assistant
Software Analysis And Research Laboratory
Developed KULFI, a LLVM-based tool for injecting faults into C/C++ programs at runtime. The tool was used to analyze the fault tolerance of a class of sorting algorithms and to gain insights into the impact of algorithm design on error-resilience.
Jan 2013 - May 2013
Teaching Assistant
CS 3100: Models of Computation (Finite-automata theory)Was responsible to help teach a class of 70 junior-senior level undergraduates by designing lectures, evaluating the responses to assignments, and to conduct office hours.
Aug 2012 - Dec 2012
Research Intern
Explored the use of game theoretic decision procedures for modal and temporal logics. Specifically, formalized a game-theoretic SAT checker for the propositional dynamic logic with a converse operator.
Dec 2011 - Apr 2012
Research Intern
Automata-theoretic model checking of Linear-time temporal logic. Formally verified specifications of spin-lock protocols.
May 2010 - Nov 2010
4 education records
Arvind Haran education
Master'S Degree, Computer Science
University Of Utah
Master Of Science (Msc), Theoretical Computer Science
Psg College Of Technology
High School, Mathematics And Computer Science
Vidya Mandir Sr Sec School, Chennai
Middle School, General
Lisieux Matric Higher Secondary School
FAQ
Frequently asked questions about Arvind Haran
Quick answers generated from the profile data available on this page.
What company does Arvind Haran work for?
Arvind Haran works for IBM.
What is Arvind Haran's role at IBM?
Arvind Haran is listed as Senior Engineer at IBM at IBM.
What is Arvind Haran's email address?
AeroLeads has found 2 work email signals at @ibm.com for Arvind Haran at IBM.
What is Arvind Haran's phone number?
AeroLeads has found 2 phone signal(s) with area code 970 for Arvind Haran at IBM.
Where is Arvind Haran based?
Arvind Haran is based in Austin, Texas, United States while working with IBM.
What companies has Arvind Haran worked for?
Arvind Haran has worked for Ibm, Software Analysis And Research Laboratory, Goldman Sachs, University Of Utah, and The Institute Of Mathematical Sciences, Chennai.
How can I contact Arvind Haran?
You can use AeroLeads to view verified contact signals for Arvind Haran at IBM, including work email, phone, and LinkedIn data when available.
What schools did Arvind Haran attend?
Arvind Haran holds Master'S Degree, Computer Science from University Of Utah.
What skills is Arvind Haran known for?
Arvind Haran is listed with skills including C++, Algorithms, C, Java, Matlab, Data Structures, Python, and Operating Systems.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial