The STeP Team

• Professor Zohar Manna
• Dr. Henny Sipma
• Students:
  • Michael Colón
  • Bernd Finkbeiner
  • Matteo Slanina
  • Calogero Zarba
  • César Sánchez
  • Ting Zhang
  • Sriram Sankaranarayanan
  • Aaron Bradley
• Visitors(Past and Present):
  • Hubert Comon
  • Tom Henzinger
  • Manfred Broy
  • Domenico Cantone
  • Saddek Bensalem
  • Alberto Policriti
  • Claudio Castellini
  • Arnab Ray
• Former members:
  • Anca Browne
  • Tomás Uribe
  • Nikolaj Bjørner
  • Eddie Chang
  • Arjun Kapur
  • Luca De Alfaro