Anna Slobodova
- Role
- Arm
- Location
- Austin, TX, US
- LinkedIn followers
- 500 followers
About Anna Slobodova
I have three decades of experience in development of formal verification tools and…
Experience
Present
Education
Comenius University
Ph.D; MS, Computer science; Computer Science
1994
Skills
- Computer Architecture
- Formal Verification
- Algorithm Design
- Theorem Proving
- Simulations
- C++
- Hardware Architecture
- Model Checking
- Verilog
- Intel
- Eda
- Architecture
- C
- Software Engineering
- Linux
- Computer Science
- Foreign Languages
- Debugging
- Functional Verification
- Processors
- Microprocessors
- Software Development
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.