Branches

Members of RoboStar are listed by country and institution.

University of York

• Ziggy Attala
• Arjun Badyal
• Lex Bailey
• James Baxter
• Radu Calinescu
• Ana Cavalcanti
• Simon Foster
• Tom Gebert
• Holly Hendry
• Christian Pardillo Laursen
• Cade McCall
• Alan Millard
• Alvaro Miyazawa
• Mark A. Post
• Pedro Ribeiro
• Jon Timmis
• Jim Woodcock
• Fang Yan

Other UK

Thales

• Mark Chattington

King’s College London

• Hugo Araujo
• Mohammad Mousavi

University of Leeds

• Shival Dubey
• Bilal Kaddouh

University of Sheffield

• Maciej Gazda
• Rob Hierons
• Raluca Lefticaru

Brazil

UFPE

• Madiel C. Filho
• Gustavo Carvalho
• Marcio Cornélio
• Juliano Iyoda
• Alexandre Mota
• Augusto Sampaio

UFRN

• Marcel Oliveira

UFRPE

• Jones Albuquerque
• Silvana Bocanegra
• Lucas Lima
• Waldek Lindoso
• Sidney Nogueira

China

East China Normal University, Software Engineering Institute

• Dehui Du
• Mingzhuo Zhang
• Menghan Zhang

France

ClearSy

• Thierry Lecomte

Germany

Verified Systems International

• Jan Peleska
• Uwe Schulze

Norway

University of Agder

• Alireza David Anisi
• Yvonne Murray

Norwegian University of Life Sciences

• Mustafa Adam

Former members

• Brijesh Dongol
• Wei Li
• Yakoub Nemouchi
• Bestoon Hussien
• Richard Redpath
• Kangfeng Ye
• Matt Windsor
• Thomas Wright
• William Barnett
• Abdulrazaq Abba
• Sharar Ahmadi
• Andrew Walter
• Artur Boronat
• Adolfo Duran
• Daniel López-Codina
• Martin Sirevåg