fm - Formal Methods research group at CSE

Subject: Formal Methods research group at CSE

List members
Email		Domain	Picture	Name
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
oskeri@chalmers.se
pohjola@chalmers.se
nicsma@chalmers.se
atze@chalmers.se
ms@chalmers.se
andersmortberg@gmail.com
baldurpet@gmail.com
dnezamabadi@ethz.ch
ekavol@chalmers.se
tanishgupta2020@gmail.com
elenap@chalmers.se
thierry.coquand@gu.se
luiseduardo.bueso.debarrio@upm.es
lidelld@chalmers.se
adam@sandbergeriksson.se
hira@chalmers.se