Prof. Dr. Leila Ribeiro (Brazilian Coordinator) - [email protected]

Bachelor in Computer sciences at UFRGS in 1988, M.Sc. in Computer Sciences at UFRGS in 1991, Ph.D. in Computer Sciences at the Technical University of Berlin in 1996. Associate Professor at the Departament of Theoretical Informatics of UFRGS (since 1998).

Main research interests: Formal semantics, formal specification and verification, concurrent systems, modularization and composition of systems.

Prof. Dr. Laira Vieira Toscani - [email protected]

Bachelor in Mathematics, emphasis in Computer science at PUC/RJ (1971), Master in Computer Science at PUC/RJ (1973), Doctor in Theory of the Computation at PUC/RJ (1988). Associate Prof. of the Depto. of
Theo- retical Computer Science of the Institute of Computer science of the UFRGS (since 1974).

Main research interests: Solution of problems, formal specification, analysis of heuristical algorithms complexity theory.

homepage: www.inf.ufrgs.br/~ctg

Prof. Dr. Tiarajú Asmuz Diverio - [email protected]

Ph. D in Computer Science, CPGCC/UFRGS, 1995. Msc. in Computer Science, CPGCC/UFRGS, 1986. B. in Mathematics, UFRGS. Professor Adjunto, Department of Theoretical Informatics of II/UFRGS.

Main research interests: Computational mathematics, concurrency , complexity .

homepage: www.inf.ufrgs.br/~hgmcpad/diverio/diverio.html

Prof . Dr. Alfio Ricardo Martini

Bachelor in Mathematics Applied to Computer Science at ULBRA in 1992. M.Sc. in Cmputer Science at UFRGS in 1994. Ph.D. in Computer Science at Technical University of Berlin in 1999. Post Doctoral Position at the Departament of Theoretical Computer Science, II/UFRGS since 1999.

Main research interests: Logic and computer science, formal methods, semantics, concurrency .

Prof. Dr. Fernando Luis Dotti - [email protected]

Bachelor in Computer Sciences, at the UFRGS in 1989. Master in Computer Sciences at the CPGCC/UFRGS in 1993. Doctor in Computer Sciences at the Technical University of Berlin in 1997. Associate professor at the Department of Applied Informatics at the Computer Sciences Faculty of the PUCRS (since march/98).

Main research interests: Computer networks, distributed systems, programming for distrib uted en vironments, mobile code.

homepage: www.inf.pucrs.br/~fldotti

Prof. M.Sc. Lucio Mauro Duarte - [email protected]

Formação: Mestre em Ciência da Computação - PPGCC - PUCRS - 2002, Bacharel em Informática - PUCRS - 1999.

Áreas de interesse: mobilidade de código, sistemas distribuídos, redes de computadores, especificação formal de aplicações móveis.

Homepage: www.inf.pucrs.br/~lduarte

Formação: Bacharel em Ciência da Computação, PUCRS.

Áreas de Interesse: Mobilidade de código, sistemas distribuídos, tolerância à falhas, inteligência artificial.

Osmar Marchi dos Santos - [email protected]

Formação: Sistemas de Informação - Centro Universitário Franciscano, Santa Maria (1998-2001)

Áreas de Interesse: Segurança Computacional, Protocolos de Comunicação, Sistemas Distribuídos, Tolerância a Falhas

Dr . Flávio Morais de Assis Silva - [email protected]

Bachelor in Computer Science at UFMG, Brazil, in 1990. M.Sc. in Computer Science at Unicamp, Brazil, in 1993. Ph.D. in Computer Science at Technical University of Berlin, Germany , in 1999. Lecturer/Researcher Position at the Department of Computer Science, UFB A, since 2000.

Main research interests: Distributed systems, mobile agent systems and applications, fault tolerance, transactional workflows.

Prof . Dr. Raimundo José de Araújo Macêdo - [email protected]

Bachelor in Computer Science at UFBA, Brazil, in 1982. M.Sc. in Computer Science at Unicamp, Brazil, in 1986. Ph.D. in Computer Science at University of Newcastle upon T yne, UK, in 1994. Head of LaSiD (Distributed Systems Laboratory), UFBA. Full Professor at the Department of Computer Science, UFB A. Coordinator of the SBC (Brazilian Computer Science Society) Special Commission on Network and Distributed Systems, since 1999.

Main research interests: Distributed systems, fault tolerance, fault diagnosis systems

Dr. Aline Maria Santos Andrade - [email protected]

Bachelor in Computer Science at UFB A, Brazil, in 1981. M.Sc. in Computer Science at PUC-RJ, Brazil, in 1990. Ph.D. in Computer Science at PUC-RJ, Brazil, in 1997. Professora Adjunta at the Department of Computer Science, UFBA.

Main research interests: Distributed systems, formal specification methods.

Dr . Andrea Corradini (Italian Coordinator) - [email protected]

Laurea in Scienze dell'Informazione (Master in Computer Science) at DIPISA in 1984; Diploma de gree from the "Scuola Normale Superiore" of Pisa in 1985; Ph.D. in Computer Science at DIPISA in 1990. Assistant Professor at DIPISA since 1992.

Main research interests: Specification and verification of concurrent and distributed systems; Categorical and algebraic techniques for semantics of computational formalisms; Graph rewriting systems; Algebraic and coalgebraic specification; Termre writing systems; Semantics of concurrency.

homepage:www.di.unipi.it/~andrea/

Dr . Fabio Gadducci - [email protected]

Laurea in Scienze dell'Informazione (Master in Computer Science) at DIPISA in 1991; Ph.D. in Computer Science at DIPISA in 1995. Assistant Professor at DIPISA since January 2000.

Main research interests: Semantics of Concurrency , Rewriting Systems, Algebraic and Cate gorical Semantics, Temporal Logic, Graph Transformation.

homepage: www.di.unipi.it/~gadducci/

Prof. Dr . Gianluigi Ferrari - [email protected]

Laurea in Scienze dell'Informazione (Master in Computer Science) at DIPISA in 1984; Ph.D. in Computer Science at DIPISA in 1990. Associated Professor at DIPISA since June 2000 (Assistant Professor at DIPISA since 1992).

Main research interests: Formal specification and v erification of mobile systems, programming languages for netw ork computing, tool support for mobile systems and theoretical aspects of distributed computing.

homepage: www.di.unipi.it/~giangi/giangi.html

Prof . Ugo Montanari - [email protected]

Laurea in Ingegneria Elettronica (Master in Electronic Engineer - ing) at Politecnico di Milano in 1966. Libera Docenza in Computer Science, April 1971. Full Professor at DIPISA since 1971.

Main research interests: Semantics of Concurrenc y , Process Description and Object Oriented Languages, Constraint Programming, Graph Rewriting Systems, Coordination Models, Algebraic and Cate gorical Models of Concurrency, Models and Languages for Open Distributed Systems.

homepage: www.di.unipi.it/~ugo/ugo.html

Stefania Gnesi - [email protected]

Laurea in Scienze dell'Informazione (Master in Computer Science) at DIPISA in 1978.

Main research interests: Methods and tools for the formal specification and verification of distributed and mobile systems; applications of model checking techniques for the formal verification of complex systems and to security problems.

homepage: rep1.iei.pi.cnr.it/~gnesi/