Meta tags:
description=Tihomir Gvero, PhD. Founder and developer at Pintokyo Games. Simulation R&D, data science, and program synthesis.;

Headings (most frequently used words):

and, developer, software, data, scientist, tihomir, gvero, skills, experience, publications, founder, lead, doctoral, assistant, researcher,

Text of the page (most frequently used words):
and (34), gvero (14), for (10), from (10), java (7), the (6), icse (6), generation (5), interactive (5), code (5), marinov (5), kuncak (5), #developer (5), lausanne (4), tihomir (4), pintokyo (4), games (4), pathfinder (4), test (4), using (4), queries (4), software (4), epfl (4), data (4), state (3), extensions (3), synthesis (3), free (3), form (3), 2015 (3), numpy (3), pytorch (3), gligoric (3), khurshid (3), phd (3), time (3), scientist (3), neo4j (3), game (3), object (2), graphs (2), through (2), programming (2), tests (2), 2010 (2), udita (2), snippets (2), types (2), weights (2), eclipse (2), pldi (2), cav (2), expressions (2), natural (2), language (2), system (2), oopsla (2), framework (2), scratch (2), tabular (2), classifier (2), level (2), simplegpt (2), lauterburg (2), jagannath (2), sigsoft (2), distinguished (2), paper (2), daniel (2), piskac (2), publications (2), models (2), nlp (2), sep (2), client (2), qlik (2), sense (2), series (2), etl (2), 2017 (2), master (2), financial (2), foundry (2), visualize (2), unity3d (2), prototype (2), with (2), mechanics (2), behaviors (2), simulation (2), founder (2), experience (2), skills (2), undo, model, checker, used, generate, explore, write, programs, that, describe, input, space, plugin, work, 2013, 2011, insynth, synthesizes, behind, papers, anycode, modular, feedforward, neural, network, built, binary, classification, multiclass, character, decoder, only, transformer, trained, tiny, shakespeare, amorim, optimizing, icst, repair, symbolic, execution, issta, dig, jiaa, mitchell, nogiec, tan, reassert, tool, repairing, broken, unit, kuraj, complete, completion, search, techniques, dissertation, diss, synthesizing, acm, award, internships, microsoft, research, pex, uiuc, plugins, pcfg, unigram, corpora, large, github, snapshots, probabilistic, lara, lab, 2009, aug, doctoral, assistant, researcher, health, information, doctors, without, borders, msf, web, portal, local, desktop, dashboards, operational, analytics, predictive, workflows, anomaly, detection, rapidminer, geneva, airport, parking, occupancy, itecor, vevey, jun, technical, scrum, supervised, thesis, chatbots, 2nd, place, future, banking, hackathon, trading, reading, analysis, international, wealth, management, foundation, recommender, translation, engine, user, actions, into, across, customers, ingestion, crime, compliance, backend, analyze, suspicious, cases, transaction, credit, suisse, now, ubs, group, jul, dec, 2018, lead, deeplearning, specialization, ffnn, custom, mvc, isolate, logic, views, controllers, html5, dashboard, key, strategic, decisions, six, years, design, iterate, complex, jan, 2019, present, scala, sql, palantir, cypher, pandas, deep, learning, tensorflow, python, phone, 567, email, gmail, com, doing, computer, science,

Text of the page (random words):
tihomir gvero skills experience publications software 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 oopsla 15 synthesizing java expressions from free form queries t gvero and v kuncak icse 15 interactive synthesis using free form queries t gvero and v kuncak diss 15 search techniques for code generation phd dissertation t gvero epfl pldi 13 complete completion using types and weights t gvero v kuncak i kuraj and r piskac cav 11 interactive synthesis of code snippets t gvero v kuncak and r piskac 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 issta 10 on test repair using symbolic execution b daniel t gvero and d marinov icse 10 test generation through programming in udita m gligoric t gvero v jagannath s khurshid v kuncak and d marinov sigsoft distinguished paper icst 09 optimizing generation of object graphs in java pathfinder m gligoric t gvero s lauterburg d marinov and s khurshid 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 tihomir gvero pintokyo games lausanne