People

Ezio Bartocci

TU Wien, Austria

Borzoo Bonakdarpour

Iowa State University, US

Rance Cleaveland

University of Maryland, US

Radu Grosu

TU Wien, Austria

Klaus Havelund

NASA JPL, US

Gerard J. Holzmann

Nimble Research, US

Md Ariful Islam

Texas Tech University, US

Abouzar Kaboudian

GeorgiaTech, US

Joost-Pieter Katoen

RWTH Aachen University, Germany

Alexios Lekidis

Aristotle University of Thessaloniki, Greece

HyunKyung Lim

Stony Brook University, US

Shan Lin

Stony Brook University, US

Alessandro Maggi

IMT Lucca, Italy

Emanuela Merelli

University of Camerino, Italy

Bud Mishra

New York University, US

Doron Peled

Bar Ilan University, Israel

Oleg Sokolsky

UPenn, US

Bernhard Steffen

TU Dortmund University, Germany

Scott D. Stoller

Stony Brook University, US

Anita Wasilewska

Stony Brook University, US

Shoji Yuen

Nagoya University, Japan

Erez Zadok

Stony Brook University, US

Teng Zhang

UPenn, US

Lenore D. Zuck

University of Illinois at Chicago, US