Divyesh U.
Senior Staff R&D Engineer at Synopsys | Architecture FV, Verification, SAT/SMT Solvers, ATP, Compilers
- Role
- Senior Staff R & d Engineer at Synopsys Inc
- Location
- Hyderabad, TG, IN
- LinkedIn followers
- 500 followers
EngineeringView LinkedIn profile
About Divyesh U.
Divyesh currently works as Principal Engineer, R&D at Synopsys, Hyderabad…
Experience
Senior Staff R & d Engineer
Feb 2024 — Present · Hyderabad, IN
Education
Dharmsinh Desai University
B.E, Computer Engineering
2006 — 2010
Saint Mary's School
S.S.C, Science,Maths,English
1992 — 2004
Shree P. V. Modi School
H.S.C., Science
2004 — 2006
Indian Institute of Technology, Bombay
Doctor of Philosophy (PhD), Computer Science
2015 — 2022
Skills
- Java
- Software Development
- C
- Programming
- Formal Methods
- Tomcat
- C++
- Databases
- Program Analysis
- Object Oriented Design
- Computer Science
- Core Java
- Testing
- Oop
- Java Enterprise Edition
- Sat
- Design Patterns
- Eclipse
- Smt
- Xml
- Spring
- Web Services
- Spring Framework
- Distributed Systems
- Sql
- Linux
- Software Engineering
- Z3
- Formal Verification
- Llvm
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.