Tihomir Gvero

Designer and Developer at Gvero's Pintokyo Games
phone: +41 76 567 95 22
email: tihomir.gvero@gmail.com

Short Biography

Tihomir Gvero holds a PhD degree in Computer Science from EPFL, Switzerland, and a Master’s degree also in Computer Science from the University of Belgrade, Serbia. During the PhD studies he worked with the professor Viktor Kuncak and implemented Java and Scala assistance and testing tools. In summer 2010, he did an internship in Microsoft Research, Redmond, USA where he worked with Nikolai Tillmann on Microsoft Visual Studio (in particular Pex, a tool for automated software testing). In summer 2007, he did an internship at UIUC, USA where he worked with the professor Darko Marinov on automated testing. Between September 2015 and June 2017 he was working at Itecor as a Big Data Consultant and IT Developer. In July 2017, he joined Credit Suisse where he worked as a Data Engineer and Analyst. In 2019, he founded Gvero's Pintokyo Games, a game studio, where he is currently working as a Designer and Developer.


  1. Synthesizing Java expressions from Free-Form Queries T. Gvero and V. Kuncak, In OOPSLA, 2015.
  2. Interactive Synthesis using Free-Form Queries T. Gvero and V. Kuncak, In ICSE, 2015.
  3. Search Techniques for Code Generation (PhD Dissertation) T. Gvero, EPFL, 2015.
  4. Complete Completion using Types and Weights T. Gvero, V. Kuncak, I. Kuraj and R. Piskac, In PLDI, 2013.
  5. Interactive Synthesis of Code Snippets T. Gvero, V. Kuncak and R. Piskac, In CAV, 2011.
  6. ReAssert: a Tool for Repairing Broken Unit Tests B. Daniel, D. Dig, T. Gvero, V. Jagannath, J. Jiaa, D. Mitchell, J. Nogiec, S. H. Tan and D. Marinov, In ICSE, 2011.
  7. On Test Repair using Symbolic Execution B. Daniel, T. Gvero and D. Marinov, In ISSTA, 2010.
  8. Test Generation through Programming in UDITA M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak and D. Marinov. In ICSE, 2010.
  9. Optimizing Generation of Object Graphs in Java PathFinder M. Gligoric, T. Gvero, S. Lauterburg, D. Marinov and S. Khurshid, In ICST, 2009.
  10. State Extensions for Java PathFinder T. Gvero, M. Gligoric, S. Lauterburg, M. d'Amorim, D. Marinov and S. Khurshid, In ICSE, 2008.