fm - Formal Methods research group at CSE

Subject: Formal Methods research group at CSE

List members
Email		Domain	Picture	Name
adinaan@chalmers.se				Adina Aniculaesei
paren@chalmers.se				Alasdair Paren
luque@chalmers.se				Alejandro Luque Cerpa
up201800168@up.pt				Alexandre Abreu
amir.ahmadian@chalmers.se				Amir Ahmadian
bove@chalmers.se				Ana Bove
andrask@chalmers.se				András Kovács
andreas.wahlstrom@hotmail.com				Andreas
abela@chalmers.se				Andreas Abel
andreas.abel@ifi.lmu.de				Andreas Abel
sanzhiyan@gmail.com				Andrea Vezzosi
andrei@chalmers.se				Andrei Sabelfeld
andres.sicard.ramirez@gmail.com				Andres Sicard-Ramirez
annagau@chalmers.se				Anna Gautier
skurka@chalmers.se				Antonina
bahareh.afshari@gu.se				Bahareh Afshari
chihhong@chalmers.se				Chih-Hong Cheng
apol@chalmers.se				Daniël Apol
daniel@schoepe.org				Daniel Schoepe
danr@chalmers.se				Dan Rosén
dave@chalmers.se				Dave
memilia.cambronero@uclm.es				Emilia Cambronero
fanny.canivet@ens.fr				Fanny Canivet
georgegr@chalmers.se				George Granberry
george.granberry@gmail.com				George Granberry