Members

Type: Permanent | Collaborator | Former
Alexandra Silva

Alexandra Silva

Institution: Centre for Mathematics and Computer Science (CWI)
E-mail: a.m.silva@cwi.nl
Marcello Bonsangue

Marcello Bonsangue

Institution: Leiden Institute of Advanced Computer Science (LIACS)
Centre for Mathematics and Computer Science (CWI)
E-mail: marcello@liacs.nl
Jan Rutten

Jan Rutten

Institution: Centre for Mathematics and Computer Science (CWI)
E-mail: janr@cwi.nl
Vlad  Rusu

Vlad Rusu

Institution: Inria Lille, France
E-mail: vlad.rusu@inria.fr
Jing Song Dong

Jing Song Dong

Institution: University of Singapore
E-mail: dongjs@comp.nus.edu.sg
Y.F. Li

Y.F. Li

Institution: University of Singapore (now at Monash University)
E-mail: yuanfang.li@monash.edu
Gheorghe Stefanescu

Gheorghe Stefanescu

Institution: University of Bucharest, Faculty of Mathematics and Computer Science
E-mail: gheorghe@funinf.cs.unibuc.ro
Chucky Ellison

Chucky Ellison

Institution: Formal Systems Laboratory, University at Illinois at Urbana Champaign, US
E-mail: celliso2@illinois.edu
Sidebar