Tihomir Gvero
Lausanne · PhD, EPFL · Pintokyo Games

Tihomir Gvero

Founder and developer at Pintokyo Games. Doing R&D on the mechanics and behaviors of a simulation game. Data scientist and software developer with PhD in Computer Science from EPFL.

phone: +41 76 567 95 22
email: tihomir.gvero@gmail.com

Skills

Python PyTorch TensorFlow Deep Learning Pandas / NumPy Neo4j / Cypher Palantir Foundry SQL Java Scala Qlik Sense Unity3D / C# ETL / time series NLP EN / FR

Experience

Founder and Developer

Jan 2019 — present
Pintokyo Games, Lausanne
  • Six years of R&D to design, prototype, and iterate on the mechanics and behaviors of a complex simulation game.
  • HTML5 prototype with an interactive dashboard to visualize key data and test strategic decisions.
  • Custom MVC framework in Unity3D to isolate game logic from state views and controllers.
  • DeepLearning.AI specialization; a tabular FFNN classifier in NumPy; SimpleGPT in PyTorch.

Lead Developer and Data Scientist

Jul 2017 — Dec 2018
Credit Suisse, Lausanne — now UBS Group
  • Financial Crime Compliance backend: visualize and analyze suspicious cases at transaction level.
  • Translation engine from user actions into Neo4j queries across time and customers; Foundry → Neo4j ingestion.
  • Client trading and reading analysis for International Wealth Management; foundation of a recommender.
  • Technical Scrum Master; supervised a Master’s thesis on financial chatbots. 2nd place, “Future of Banking” hackathon.

Software Developer and Data Scientist

Sep 2015 — Jun 2017
Itecor, Vevey
  • Predictive workflows, anomaly detection, and ETL in RapidMiner for Geneva Airport parking occupancy.
  • Qlik Sense dashboards for time-series and operational analytics.
  • Health information system for Doctors Without Borders (MSF): web portal and local desktop client.

Doctoral Assistant and Researcher

Sep 2009 — Aug 2015
LARA Lab, IC, EPFL
  • ML / NLP corpora from large GitHub snapshots; probabilistic models from natural language to code.
  • Eclipse plugins for interactive code generation (PCFG and unigram models).
  • ACM SIGSOFT Distinguished Paper Award, 2010. Internships at Microsoft Research (Pex) and UIUC.

Publications

  1. OOPSLA ’15
    Synthesizing Java expressions from Free-Form Queries
    T. Gvero and V. Kuncak
  2. ICSE ’15
    Interactive Synthesis using Free-Form Queries
    T. Gvero and V. Kuncak
  3. Diss. ’15
    Search Techniques for Code Generation (PhD Dissertation)
    T. Gvero, EPFL
  4. PLDI ’13
    Complete Completion using Types and Weights
    T. Gvero, V. Kuncak, I. Kuraj and R. Piskac
  5. CAV ’11
    Interactive Synthesis of Code Snippets
    T. Gvero, V. Kuncak and R. Piskac
  6. ICSE ’11
    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
  7. ISSTA ’10
    On Test Repair using Symbolic Execution
    B. Daniel, T. Gvero and D. Marinov
  8. ICSE ’10
    Test Generation through Programming in UDITA
    M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak and D. Marinov · SIGSOFT Distinguished Paper
  9. ICST ’09
    Optimizing Generation of Object Graphs in Java PathFinder
    M. Gligoric, T. Gvero, S. Lauterburg, D. Marinov and S. Khurshid
  10. ICSE ’08
    State Extensions for Java PathFinder
    T. Gvero, M. Gligoric, S. Lauterburg, M. d'Amorim, D. Marinov and S. Khurshid

Software

SimpleGPT A character-level, decoder-only transformer trained from scratch in PyTorch on Tiny Shakespeare. Multiclass Classifier A modular feedforward neural network framework built from scratch in NumPy for binary tabular classification. AnyCode Synthesizes Java expressions from free-form natural-language queries. The system behind the OOPSLA and ICSE 2015 papers. InSynth Interactive synthesis of code snippets using types and weights. Eclipse plugin work from PLDI 2013 and CAV 2011. UDITA Test generation through programming: write tests as programs that describe the input space. ICSE 2010. Java PathFinder Extensions State and undo extensions for the Java PathFinder model checker, used to generate and explore object graphs.