fm - Formal Methods research group at CSE

Subject: Formal Methods research group at CSE

List members
Email		Domain	Picture	Name
samuel.vivien@ens.psl.eu				Samuel VIVIEN
sandro.stucki@gmail.com				Sandro Stucki
slrn@student.chalmers.se				Sólrún Halla Einarsdóttir
asmarton@gmail.com				Stefan Marton
taiquan@chalmers.se				Taiquan Sui
thaleia@student.chalmers.se				Thaleia Tsioka
thomas.hallgren@gmail.com				Thomas Hallgren
torab@chalmers.se				Tora Bodin
wmacmil@gmail.com				Warrick Macmillan
ahrendt@chalmers.se				Wolfgang Ahrendt
yehiaa@chalmers.se				Yehia Abd Alrahman
ekavol@chalmers.se
pohjola@chalmers.se
dnezamabadi@ethz.ch
baldurpet@gmail.com
nicsma@chalmers.se
andersmortberg@gmail.com
tanishgupta2020@gmail.com
thierry.coquand@gu.se
adam@sandbergeriksson.se
atze@chalmers.se
ms@chalmers.se
luiseduardo.bueso.debarrio@upm.es
oskeri@chalmers.se
lidelld@chalmers.se