Zvonimir Rakamaric

Principal Researcher, Amazon Web Services, Amazon

  • Joined July 2019

Names

Zvonimir Rakamaric

Emails

****@cs.utah.edu (Confirmed)
,
****@gmail.com (Confirmed)
,
****@amazon.com (Confirmed)

Personal Links

Career & Education History

Principal Researcher
Amazon Web Services, Amazon (amazon.com)
2021 – Present
 
Associate Professor
School of Computing, University of Utah (utah.edu)
2018 – 2023
 
Assistant Professor
School of Computing, University of Utah (utah.edu)
2012 – 2018
 

Advisors, Relations & Conflicts

Postdoc Advisor
2011 – 2012
 
PhD Advisor
2004 – 2011
 

Expertise

formal methods
Present
 
software verification
Present