Ivan Gavran

Research Engineer at Informal Systems

Ivan Gavran has worked as a Research Engineer at Informal Systems since December 2021. Before that, they were a Doctoral Researcher at the Max Planck Institute for Software Systems from February 2016 to November 2021. In 2017, Ivan worked as a Research Intern at Microsoft for three months. Ivan also worked as a Researcher/Developer at Bellabeat from June 2013 to January 2016.

Ivan Gavran began their education in 2008 at the University of Zagreb/Sveuciliste u Zagrebu, where they pursued a Bachelor's degree in Mathematics. Ivan continued their studies at the same institution and received a Master's degree in Mathematics and Computer Science from 2011 to 2013. Later, from 2016 to 2021, Ivan pursued a Doctor of Philosophy - PhD in Computer Science at RPTU Kaiserslautern-Landau.

Location

Vienna, Austria

Links

Previous companies


Org chart

No direct reports

Teams


Offices

This person is not in any offices


Informal Systems

Informal Systems offer research and development at the intersection of formal verification and distributed systems.


Headquarters

Toronto, Canada

Employees

11-50

Links