fm - Formal Methods research group at CSE

Subject: Formal Methods research group at CSE

List members
Email		Domain	Picture	Name
dnezamabadi@ethz.ch
ekavol@chalmers.se
elenap@chalmers.se
george.granberry@gmail.com				George Granberry
georgegr@chalmers.se				George Granberry
gerardo@cse.gu.se				Gerardo Schneider
gleblobanov@outlook.com				Gleb Lobanov
haroone@chalmers.se				Haroon Elahi
hazemto@chalmers.se				Hazem Torfah
hira@chalmers.se
ionescua@chalmers.se
josef.urban@gmail.com				Josef Urban
koen@chalmers.se				Koen Claessen
krookr@chalmers.se				Robert
kubanek0ondrej@gmail.com				Ondřej Kubánek
labopin@chalmers.se				Alex Labopin
lidelld@chalmers.se
luiseduardo.bueso.debarrio@upm.es
luque@chalmers.se				Alejandro Luque Cerpa
marozas@chalmers.se				Julius Marozas
memilia.cambronero@uclm.es				Emilia Cambronero
m.gabbay@hw.ac.uk				Murdoch Gabbay
moa.johansson@chalmers.se				Moa Johansson
ms@chalmers.se
myreen@chalmers.se				Magnus Myreen