fm - Formal Methods research group at CSE

Subject: Formal Methods research group at CSE

List members
Email		Domain	Picture	Name
abela@chalmers.se				Andreas Abel
adam@sandbergeriksson.se
adinaan@chalmers.se				Adina Aniculaesei
ahrendt@chalmers.se				Wolfgang Ahrendt
algehed@chalmers.se				Maximilian Algehed
alvares@chalmers.se				Guilherme
amir.ahmadian@chalmers.se				Amir Ahmadian
andersmortberg@gmail.com
andrask@chalmers.se				András Kovács
andreas.abel@ifi.lmu.de				Andreas Abel
andreas.wahlstrom@hotmail.com				Andreas
andrei@chalmers.se				Andrei Sabelfeld
andres.sicard.ramirez@gmail.com				Andres Sicard-Ramirez
annagau@chalmers.se				Anna Gautier
apol@chalmers.se				Daniël Apol
asmarton@gmail.com				Stefan Marton
atze@chalmers.se
bahareh.afshari@gu.se				Bahareh Afshari
baldurpet@gmail.com
bove@chalmers.se				Ana Bove
chihhong@chalmers.se				Chih-Hong Cheng
daniel@schoepe.org				Daniel Schoepe
danr@chalmers.se				Dan Rosén
dave@chalmers.se				Dave
di.gama@gmail.com				Mario Carneiro