Tihomir Gvero

Game Designer at 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 Developer and Data Scientist. In July 2017, he joined Credit Suisse, now part of the UBS Group, where he worked as a Lead Developer and Data Scientist. In 2019, he founded Pintokyo Games, a game studio, where he is currently working as a Game Designer.

Publications

  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.