TMPA-2019: Committees

Steering Committee Board

Local Arrangement Chairs

  • Alexander Gamkrelidze, Professor, Ivane Javakhishvili Tbilisi State University, Georgia
  • Gia Sirbiladze, Professor, Ivane Javakhishvili Tbilisi State University, Georgia
  • Giorgi Gvedashvili, Professor, Head of the Department of Scientific Research and Development, Ivane Javakhishvili Tbilisi State University, Georgia
  • Magda Tsintsadze, Associate Professor, Ivane Javakhishvili Tbilisi State University, Georgia
  • Manana Khachidze, Professor, Ivane Javakhishvili Tbilisi State University, Georgia
  • Natia Sirbiladze, CEO, Exactpro Systems, Georgia

Program Committee

  • Adnan Causevic, Assistant Professor, Mälardalen University, Sweden
  • Alexander Kamkin, Leading Researcher, Institute for System Programming, Russian Academy of Sciences, Russia
  • Alexei Lisitsa, Lecturer, Head of Verification Group, University of Liverpool, UK
  • Anna Gromova, Head of Data Analysis, Exactpro, UK
  • Carsten Fuhs, Assistant Professor, Birkbeck, University of London, UK
  • Claude Michel, Faculty Member, HDR, Université Côte d'Azur, CNRS, I3S, France
  • Dmitry Boulytchev, Associate Professor, Saint-Petersburg State University, Russia
  • Dmitry Tsitelov, Senior Researcher, Head of dxLab, Devexperts, Russia
  • Franck Cassez, Associate Professor, Macquarie University, Australia
  • Goran Frehse, Associate Professor, University Grenoble Alpes – Verimag, France
  • Iosif Itkin, CEO and co-founder, Exactpro, UK
  • Irina Lomazova, Professor, National Research University Higher School of Economics, Russia
  • Marat Akhin, Assistant Professor, Peter the Great St. Petersburg Polytechnic University, Russia
  • Max Kanovich, Research Associate, University College London, UK
  • Mikhail Belyaev, Assistant Professor, Peter the Great St. Petersburg Polytechnic University, Russia
  • Mikhail Moiseev, Software Staff Engineer, Intel, USA
  • Nikolaj Bjorner, Principal Researcher, Microsoft, USA
  • Nikolay Pakulin, Scientific Secretary, Institute for System Programming, Russian Academy of Sciences, Russia
  • Panagiotis Manolios, Professor, Northeastern University, USA
  • Pawel Sobocinski, Associate Professor, University of Southampton, UK
  • Peter Habermehl, Associate Professor, HDR, University Paris Diderot (Paris 7), France
  • Roberto Giacobazzi, Full Professor, University of Verona, Italy
  • Roland Meyer, Professor, Technische Universität Braunschweig, Germany
  • Santiago Zanella-Béguelin, Researcher, Microsoft, UK
  • Silvio Ranise, Head of Unit, FBK-Irst, Italy
  • Tachio Terauchi, Professor, Waseda University, Japan
  • Tim Willemse, Associate Professor, Eindhoven University of Technology, Netherlands
  • Uwe Nestmann, Professor, Technische Universität Berlin, Germany
  • Victor Kuliamin, Associate Professor, Institute for System Programming, Russian Academy of Sciences, Russia
  • Victor Zakharov, Associate Professor, Scientific Secretary, IPI RAN, Russia
  • Vladimir Itsykson, Associate Professor, Peter the Great St. Petersburg Polytechnic University, Russia
  • Vladimir Zakharov, Professor, Lomonosov Moscow State University, Russia