Zvonimir Rakamaric

Principal Applied Scientist at Amazon Web Services (AWS)

Role
Principal Applied Scientist at Amazon Web Services (AWS)
Location
Salt Lake City, UT, US
LinkedIn followers
500 followers

About Zvonimir Rakamaric

The main focus of my research is developing practical methods, techniques, and tools for…

Experience

  1. Principal Applied Scientist

    Amazon Web Services (AWS)

    May 2021 — Present

    Automated reasoning group with AWS Identity

Education

  • The University of British Columbia

    PhD, Computer Science

    2006 — 2011

  • The University of British Columbia

    MSc, Computer Science

    2004 — 2006

  • University of Zagreb / Sveučilište u Zagrebu

    BSc, Computer Science

    1997 — 2002

Skills

  • Model Checking
  • C
  • Programming
  • Computer Science
  • Software Analysis
  • C++
  • Software Verification
  • Software Development
  • Latex
  • Oop
  • Software Engineering
  • Static Analysis
  • Concurrent Programming
  • Concurrency
  • Software Validation
  • Algorithms
  • Testing
  • Distributed Systems

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.

Zvonimir Rakamaric — Principal Applied Scientist at Amazon Web Services (AWS) in Salt Lake City, UT, US | Unifers