Formal Methods in Software Engineering

Members

Permanent Members

Dorel Lucanu

Dorel Lucanu

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi

dlucanu@info.uaic.ro

Andrei Arusoaie

Andrei Arusoaie

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi

andrei.arusoaie@gmail.com

Stefan Ciobaca

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi

stefan.ciobaca@info.uaic.ro

Vlad Craciun

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi; Bitdefender

craciun.vlad@yahoo.ie

Rodica Condurache

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi

rodica.b.condurache@gmail.com

Andrei Mogage

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi,PhD Student; Bitdefender

Claudiu-Stefan Susan

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi, PhD student

Raul Zaharia

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi, PhD Student; Bitdefender

Alin Vrabie

Institution: Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi, PhD Student; Bitdefender

Alexandru Citea

Institution: Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi, PhD Student; Bitdefender

Diana Gratie

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi

Alexandru Lungu

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi

Former Members

Irina Asavoae

Irina Asavoae

mariuca.asavoae@info.uaic.ro

Eugen Goriac

egoriac@info.uaic.ro

Mihail Asavoae

Mihail Asavoae

mihail.asavoae@info.uaic.ro

Georgiana Caltais

gcaltais@info.uaic.ro

Gheorghe Grigoras

Gheorghe Grigoras

grigoras@info.uaic.ro

Grigore Rosu

Formal Systems Laboratory, University at Illinois at Urbana Champaign, US

grosu@cs.uiuc.edu

Radu Mereuta

radu.mereuta@info.uaic.ro

Elena Naum

Elena Naum

naum.elena@gmail.com

Traian Serbanuta

University of Bucharest

Gabriel Ciobanu

Institute of Computer Science, Romanian Academy

gabriel@iit.tuiasi.ro

Oana Andrei

Loria Inria Nancy (now at University of Glasgow)

oandrei@dcs.gla.ac.uk

Raluca Necula

Raluca Necula

Alexandru Ioan Cuza University, Iasi

raluca.necula@info.uaic.ro

Denis Bogdanas

Denis Bogdanas

Faculty of Computer Science, Alexandru Ioan Cuza University

denis.bogdanas@info.uaic.ro

Radu Ometita

radu.ometita@gmail.com

Collaborator Members

Alexandra Silva

Centre for Mathematics and Computer Science (CWI)

a.m.silva@cwi.nl

Marcello Bonsangue

Leiden Institute of Advanced Computer Science (LIACS)<br> Centre for Mathematics and Computer Science (CWI)

marcello@liacs.nl

Jan Rutten

Centre for Mathematics and Computer Science (CWI)

janr@cwi.nl

Mihai Danes

fmse@info.uaic.ro

Vlad Rusu

Inria Lille, France

vlad.rusu@inria.fr

Jing Song Dong

University of Singapore

dongjs@comp.nus.edu.sg

Y.F. Li

University of Singapore (now at Monash University)

yuanfang.li@monash.edu

Gheorghe Stefanescu

University of Bucharest, Faculty of Mathematics and Computer Science

gheorghe@funinf.cs.unibuc.ro

Chucky Ellison

Formal Systems Laboratory, University at Illinois at Urbana Champaign, US

celliso2@illinois.edu

Andrei Stefanescu

andreistef@gmail.com

Brandon Moore

fmse@info.uaic.ro

Frank de Boer

fmse.info.uaic.ro

Jurriann Rot

fmse.info.uaic.ro

Feng Chen

fmse.info.uaic.ro

Kokichi Futatsugi

fmse.info.uaic.ro

Kazuhiro Ogata

fmse.info.uaic.ro

Daniel Gaina

daniel@jaist.ac.jp

Jose Meseguer

fmse.info.uaic.ro

David Nowak

fmse.info.uaic.ro

Dragos Gavrilut

Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi; Bitdefender

Xiaohong Chen

Formal Systems Laboratory, University at Illinois at Urbana Champaign, US

None Members

Rena Bakhshi

fmse.info.uaic.ro

Dimitri Hendriks

fmse.info.uaic.ro

Joerg Endrullis

fmse.info.uaic.ro