MembersDetails of Members

Details of Members

E-mail and postal addresses, phone and fax numbers of Members are available from the Secretary on request. They may also be found at the Members' web sites.

Prof.  Egidio Astesiano
DISI - Dipartimento di Informatica e Scienze dell'Informazione
Università di Genova
ITALY
WWW: http://www.disi.unige.it
Research topics: Formal and semiformal methods, specification of reactive and concurrent systems, evolution, feature-oriented specifications (Updated: 1998-03-03 )

Prof.  Didier Bert
CNRS, LSR-IMAG
Grenoble
FRANCE
WWW: http://www-lsr.imag.fr/users/Didier.Bert/
Research topics: The B-Method : (1) specification and proofs of liveness properties under fairness assumptions in B abstract systems (joint work with Hector Ruiz Barradas, visiting professor (Mexico)). (2) Code generation for smart cards (embedded systems) from specifications (French RNTL project with industrial partners). (3) Specification and time property analysis of scenarios for multimedia presentations (joint work with Stephane Lo Presti). (Updated: 2002-09-16 )

Prof. Dr.  Mohamed Bettaz
Faculty of Information Technology
Philadelphia University
JORDAN
WWW: http://www.philadelphia.edu.jo/science/bettaz.html
Research topics: Computer communication protocols, algebraic development techniques, rewriting logic, Petri nets, Z notation, mobile computing, wireless networking (Updated: 2003-06-08 )

Prof.  Michel Bidoit
Laboratoire Specification et Verification (LSV)
CNRS URA 8643 & ENS de Cachan
FRANCE
WWW: http://www.lsv.ens-cachan.fr/~bidoit/
Research topics: Algebraic specification techniques (Updated: 1998-02-18 )

Prof. Dr.  Egon Börger
Dipartimento di Informatica
Universita di Pisa
ITALY
WWW: http://www.di.unipi.it/~boerger
Research topics: System Specification and Design, Software Engineering, Requirements Analysis, Software and Virtual Architectures (Updated: 2001-12-06 )

Prof.  Christine Choppy
LIPN (Laboratoire d'Informatique de Paris Nord)
FRANCE
IFIP WG1.3 Secretary
WWW: http://www-lipn.univ-paris13.fr/
Research topics: Formal specification frameworks, formal specification methodology, uses of formal specification in software development, reverse engineering using formal specifications (Updated: 1998-11-17 )

Prof.  Andrea Corradini
Dipartimento di Informatica
Università di Pisa
ITALY
WWW: http://www.di.unipi.it/~andrea
Research topics: coalgebraic and algebraic specification, structured transition systems, algebraic and categorical models of rewriting, semantics of concurrency, graph transformation systems (Updated: 2002-09-16 )

Prof.  Dominique Duval
Universite Joseph Fourier - IMAG - LMC
FRANCE
WWW: http://www-lmc.imag.fr/MOSAIC/MEMBRES/duval.html
Research topics: Categorical semantics of formal languages; Sketches and generalizations; Abstract data types; algebraic specification (Maths Reviews : 18C50 - 18C30 - 68Q65) (Updated: 2002-09-16 )

Prof. Dr.  Hans-Dieter Ehrich (Member Emeritus)
Technische Universität Braunschweig
GERMANY
WWW: http://www.cs.tu-bs.de/idb/welcome_e.html
Research topics: information systems design: conceptual modeling, object modeling, distribution issues, TROLL language and method; semantic foundations: distributed temporal logics, distributed model checking, application case studies: explosion protection, traffic security, bioinformatics (Updated: 2002-09-16 )

Prof. Dr.  Hartmut Ehrig
Technical University of Berlin
Department of Computer Science
Institute for Communication and Software Technology
Sekr. FR 6-1
GERMANY
WWW: http://www.cs.tu-berlin.de/~ehrig/
Research topics: Algebraic specification, graph transformation, Petri nets, integration of specification techniques (Updated: 1998-02-18 )

Prof.  José Luiz Fiadeiro
University of Leicester
ENGLAND
IFIP WG1.3 Chairman
WWW: http://www.fiadeiro.org/jose
Research topics: Software Architectures, Service-oriented Development Coordination, Mobility, Evolution (Updated: 2002-10-25 )

Prof. Dr.  Harald Ganzinger (Member Emeritus)
Max-Planck-Institut für Informatik
GERMANY
WWW: http://www.mpi-sb.mpg.de/~hg/
Research topics: (Updated: 1998-11-18 )

Prof.  Marie-Claude Gaudel
LRI, Université de Paris-Sud et CNRS
FRANCE
WWW: http://www.lri.fr/
Research topics: (Updated: 1998-02-18 )

Prof.  Joseph Goguen
Dept. Computer Science & Engineering
University of California at San Diego
USA
WWW: http://www.cs.ucsd.edu/users/goguen/
Research topics: hidden algebra, refinement, web-based proofs, algebraic semiotics, proof assistant, user interface design, order sorted vs. partial algebra, distributed cooperative software engineering, requirements engineering, philosophy & sociology of computer science (Updated: 1998-03-03 )

Priv.-Doz. Dr.  Rolf Hennicker
University of Munich
GERMANY
WWW: http://www.pst.informatik.uni-muenchen.de/personen/hennicke
Research topics: Formal Methods in Software Engineering, Object-Oriented Software Specification, Algebraic Specification, Observability (Updated: 2002-09-16 )

Prof.  Bart Jacobs
Dept. of Computer Science
University of Nijmegen
THE NETHERLANDS
WWW: http://www.cs.kun.nl/~bart
Research topics: Semantics, specification and verification for OO-languages, theory of coalgebras, theorem proving (Updated: 2001-12-06 )

Dr.  Hélène Kirchner
LORIA CNRS and INRIA Lorraine
FRANCE
WWW: http://www.loria.fr/~hkirchne/
Research topics: Automated Deduction (rewrite systems, constraint solving, combination of solvers, theorem proving with constraints); Programming languages (algebraic and logic programming, constraint logic programming, combination and integration of computational models); Formal specifications (algebraic specifications) (Updated: 2002-09-16 )

Prof. Dr.  Hans-Jörg Kreowski
Universität Bremen
Fachbereich Mathematik/Informatik
GERMANY
WWW: http://www.informatik.uni-bremen.de/~kreo
Research topics: algebraic specification, graph transformation, syntactic picture generation (Updated: 1998-02-18 )

Prof. Dr.  Bernd Krieg-Brückner
Bremer Institut für Sichere Systeme
Universität Bremen
WWW: http://www.informatik.uni-bremen.de/~bkb
GERMANY
Research topics: programming languages, specification languages, programming environments, transformational development, development process models, reusability of the development process (Updated: 2002-09-16 )

Prof.  Pierre Lescanne (Member Emeritus)
École Normale Supérieure de Lyon
FRANCE
WWW: http://www.ens-lyon.fr/ plescann
Research topics: Operational semantics of functional and object oriented languages; Applications to Electronic Commerce (Updated: 1998-06-30 )

Prof. Dr.-Ing.  Jacques Loeckx (Member Emeritus)
Fachbereich Informatik
Universität des Saarlandes
GERMANY
WWW: http://www.informatik.uni-koeln.de/
Research topics: Program specification (Updated: 1998-07-01 )

Prof.  Tom Maibaum
Department of Computer Science
King's College London
ENGLAND
WWW: ???
Research topics: meta-theory of specification, reactive system specification, specification of object oriented systems, software engineering methods and tools (Updated: 2002-09-16 )

Dr.  Jose Meseguer
University of Urbana-Champaign
USA
WWW: http://www.csl.sri.com/meseguer/meseguer.html
Research topics: formal specification and verification, software composition, reflection and metaprogramming, object-oriented specification and software architecture, concurrent, distributed and mobile computing, logical frameworks and formal interoperability, logical and semantic foundations of software (Updated: 1998-02-18 )

Prof.  Ugo Montanari
Dipartimento di Informatica
Università di Pisa
ITALY
WWW: http://www.di.unipi.it/~ugo/ugo.html
Research topics: Semantics of concurrency, process description and object oriented languages, constraint programming, graph rewriting systems, coordination models, algebraic and categorical models of concurrency (Updated: 1998-03-12 )

Dr.  Till Mossakowski
Department of Computer Science
University of Bremen
GERMANY
WWW: http://www.informatik.uni-bremen.de/~till
Research topics: Specification Languages, Partial algebras, Institutions, Meta-Formalisms, Heterogeneous Languages (Updated: 1999-08-05 )

Prof.  Peter D. Mosses
BRICS & Dept. of Computer Science, Univ. of Aarhus
DENMARK
WWW: http://www.brics.dk/~pdm/
Research topics: algebraic specification languages, semantics of programming languages, tools (Updated: 1999-08-05 )

Prof. Dr.  Fernando Orejas
Dept. L.S.I.
Univ. Polit. Catalunya
SPAIN
WWW: http://www.lsi.upc.es/~orejas
Research topics: Formal Specification, algebraic development techniques, logic Programming (Updated: 1998-02-19 )

Prof. Dr.  Peter Padawitz
Informatik 5
University of Dortmund
GERMANY
WWW: http://ls5-www.cs.uni-dortmund.de/~peter
Research topics: Formal specification, functional-logic programming, program verification, theorem proving (Updated: 2002-09-16 )

Prof.  Francesco Parisi-Presicce
Dipartimento di Scienze dell'Informazione
Universita' di Roma La Sapienza
ITALY
WWW: http://www.dsi.uniroma1.it/~parisi/
Research topics: formal specification and development, graph transformations, object-oriented languages and methodologies (Updated: 1998-02-20 )

Prof. Dr.  Peter Pepper
Institute for Communication and Software Technology
Technische Universität Berlin
GERMANY
WWW: http://www.cs.tu-berlin.de/~uebb/
Research topics: Functional programming languages, safety-critical embedded systems, massively parallel systems (Updated: 1998-03-05 )

Prof.  Gianna Reggio
DISI - Dipartimento di Informatica e Scienze dell'Informazione
Università di Genova
ITALY
WWW: http://www.disi.unige.it/person/ReggioG/
Research topics: Formal methods for reactive distributed systems, component based software development, UML (Updated: 2000-10-05 )

Prof. Dr. rer. nat. habil.  Horst Reichel
Dresden University of Technology
Faculty of Computer Science
Institute: Theoretical Computer Science
GERMANY
WWW: http://wwwtcs.inf.tu-dresden.de/ALG/
Research topics: Specifications with initiality and finality constraints; > partial coalgebras (Updated: 2002-09-16 )

Prof.  Don Sannella
Laboratory for Foundations of Computer Science
University of Edinburgh
SCOTLAND
WWW: http://www.dcs.ed.ac.uk/home/dts/
Research topics: Algebraic specification and formal program development, mechanised reasoning, programming methodology and functional programming languages (Updated: 1998-02-18 )

Prof.  Pierre-Yves Schobbens
Institut d'Informatique
University of Namur
BELGIUM
WWW: http://www.info.fundp.ac.be/~pys
Research topics: specification, data types, temporal logic, real-time logic (Updated: 2001-12-06 )

Senior Consultant  Subramanian Pattamadai Sitaraman
Tata Consultancy Services
INDIA
WWW: http://www.tcs.com
Research topics: Embedded Systems, Component based Design, Applications of Category Theory to System Design (Updated: 2002-09-18 )

Prof.  Andrzej Tarlecki
Institute of Informatics
Warsaw University
POLAND
WWW: http://www.mimuw.edu.pl/~tarlecki
Research topics: Foundations of software specification and development, logical frameworks, institutions (Updated: 2002-09-16 )

 Eric Wagner (Member Emeritus)
Wagner Mathematics
USA
WWW:
Research topics: Abstract data types, programming language semantics (Updated: 1999-09-01 )

Prof. Dr.  Martin Wirsing
Institute of Computer Science
Ludwig-Maximilians-University Munich
GERMANY
WWW: http://www.pst.informatik.uni-muenchen.de/personen/wirsing/
Research topics: Formal specification, formally-based object-oriented software development, software engineering for distributed systems and for multimedia applications, design and semantics of concurrent Java programs (Updated: 1999-09-01 )


Edited by: Peter D. Mosses (pdmosses@brics.dk), January 19, 2004
IFIP WG1.3 Home Page: http://www.fiadeiro.org/jose/IFIP-WG1.3/

MembersDetails of Members