Program Committee - SPIN 2017

Write a Blog >>

Thu 13 - Fri 14 July 2017 Santa Barbara, California, United States

co-located with ISSTA 2017

Erika Abraham

RWTH Aachen University

Germany

Christel Baier

TU Dresden, Germany

Germany

Thomas Ball

Microsoft Research

United States

Ezio Bartocci

Technische Universität Wien

Austria

Dirk Beyer

LMU Munich

Germany

Armin Biere

Johannes Kepler University

Austria

Dragan Bosnacki

Eindhoven University of Technology

Netherlands

Zmago Brezocnik

University of Maribor

Slovenia

Sagar Chaki

Carnegie Mellon Software Engineering Institute

United States

Alessandro Cimatti

Fondazione Bruno Kessler

Italy

Lucas Cordeiro

University of Oxford

United Kingdom

Patrice Godefroid

Microsoft Research

United States

Susanne Graf

Verimag

France

Radu Grosu

Vienna University of Technology

Austria

Arie Gurfinkel

University of Waterloo

Canada

Gerard Holzmann

NASA/Caltech Jet Propulsion Laboratory

United States

Rajeev Joshi

NASA/Caltech Jet Propulsion Laboratory

United States

Sarfraz Khurshid

University of Texas at Austin

United States

Kim Larsen

Aalborg University

Denmark

Stefan Leue

University of Konstanz

Germany

Alice Miller

University of Glasgow

United Kingdom

Doron Peled

Bar Ilan University

Israel

Corina S. Păsăreanu

NASA Ames Research Center

United States

Neha Rungta

Amazon Web Services

United States

Theo Ruys

RUwise

Netherlands

Scott Smolka

Stony Brook University

United States

Scott Stoller

Stony Brook University

United States

Jun Sun

Singapore University of Technology and Design

Singapore

Oksana Tkachuk

Amazon Web Services

United States

Stavros Tripakis

Aalto University and UC Berkeley

Finland

Willem Visser

Stellenbosch University

South Africa

Farn Wang

National Taiwan University

Taiwan

Michael Whalen

University of Minnesota

United States

Anton Wijs

Eindhoven University of Technology

Netherlands