Emiliano Morini
Principal Formal Verification Engineer
- Role
- Principal Formal Verification Engineer at NVIDIA
- Location
- El Dorado Hills, CA, US
- LinkedIn followers
- 500 followers
About Emiliano Morini
As a Formal Verification Engineer specialized in numerics, I bring over 15 years of experience across multiple domains, demonstrating a robust track record in verifying fixed-point and floating-point hardware. My expertise includes a deep understanding of the 754 standard and the utilization of advanced tools such as Synopsys VC Formal DPV (HECTOR) and Cadence JasperGold.I find fulfillment in collaborating with colleagues, fostering professional connections, continually learning and developing innovative techniques, and sharing my expertise through teaching and mentoring.Throughout my career, I have authored 9 peer-reviewed papers, delivered presentations at prominent international conferences, and contributed to the filing of 13 patents.
Experience
Principal Formal Verification Engineer
Nov 2024 — Present · El Dorado Hills, CA, US
Education
Università di Pisa
BSc, Mathematics
2003 — 2006
Università di Pisa
MSc, Mathematics
2006 — 2008
Skills
- Robot Framework
- Synopsys Tools
- Mathematics
- Software Engineering
- .net
- Matlab
- Numerical Linear Algebra
- Algorithms
- Windows
- Software Development
- Scrum
- Latex
- Artificial Intelligence
- Ion Marketview
- C
- Programming
- C++
- Linux
- Javascript
- Computer Science
- Crossfit
- Test Driven Development
- Numerical Analysis
- Machine Learning
- Tdd
- Microsoft Office
- Equivalence Checking
- Tortoise Svn
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.