Skip to Content.
Sympa Menu

fm - Formal Methods research group at CSE

Subject: Formal Methods research group at CSE

Search for a User

Subscriber Table

List members
Email Domain Picture Name
gerardo@cse.gu.se Gerardo Schneider 
gleblobanov@outlook.com Gleb Lobanov 
alvares@chalmers.se Guilherme 
haroone@chalmers.se Haroon Elahi 
hazemto@chalmers.se Hazem Torfah 
marozas@chalmers.se Julius Marozas 
koen@chalmers.se Koen Claessen 
myreen@chalmers.se Magnus Myreen 
di.gama@gmail.com Mario Carneiro 
algehed@chalmers.se Maximilian Algehed 
moa.johansson@chalmers.se Moa Johansson 
m.gabbay@hw.ac.uk Murdoch Gabbay 
naimf@chalmers.se Naïm Favier 
niklas.broberg@chalmers.se Niklas Broberg 
nad@cse.gu.se Nils Anders Danielsson 
piterman@chalmers.se Nir Piterman 
kubanek0ondrej@gmail.com Ondřej Kubánek 
orjan.sun@gmail.com Örjan Sunnerhagen 
patrizio@chalmers.se Patrizio Pelliccione 
pablop@chalmers.se Pica 
prabhar@chalmers.se Prabhat Kumar Jha 
lambda@chalmers.se Rachel Sameulsson 
krookr@chalmers.se Robert 
samuel.vivien@ens.psl.eu Samuel VIVIEN 
sandro.stucki@gmail.com Sandro Stucki 
page 2 / 4
Top of Page