Details
E-mail and postal
addresses, phone and fax numbers are available from the Secretary
on request. They may also be found at the individual 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. Dr.
Mohamed Bettaz
Direction des Réseaux et Systèmes d'Information et de Communication Universitaires
Ministère de l'Enseignement Supérieur et de la Recherche Scientifique Algiers
ALGERIA
WWW: http://www.mesrs.dz
Research topics: Software architecture, Formal specification,
Graph Transformation, Mobile computing, Z notation (Updated:
2007-11-21)
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)
UMR CNRS 7030, Institut Galilée - Université Paris XIII
FRANCE
WWW: http://www-lipn.univ-paris13.fr/~choppy/
Research topics: Formal specification frameworks, formal specification
methodology, uses of formal specification in software development, reverse
engineering using formal specifications (Updated: 2005-01-28)
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 - LJK
FRANCE
WWW: http://ljk.imag.fr/membres/Dominique.Duval/
Research topics: Categorical semantics of formal languages; Sketches
and generalizations; Abstract data types; algebraic specification (Maths
Reviews : 18C50 - 18C30 - 68Q65) (Updated: 2007-10-06)
Prof. Dr.
Hans-Dieter Ehrich
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
Department of Computer Science
University
of Leicester
UNITED KINGDOM
WWW: http://www.fiadeiro.org/jose
Research topics: Software Architectures, Service-Oriented Development,
Coordination, Mobility, Evolution (Updated: 2004-03-12)
Prof.
Kokichi
Futatsugi
Graduate School of Information Science
Japan Advanced Institute of Science and Technology (JAIST)
JAPAN
WWW: http://www.jaist.ac.jp/~kokichi/
Research topics: Algebraic Specification Language and Method,
Behavioral Specification, Component-Based Specification Construction,
Model Checking (Updated: 2005-02-21)
Prof. Fabio Gadducci
Dipartimento di Informatica
Università di Pisa
ITALY
WWW: http://www.di.unipi.it/~gadducci
Research topics: Algebraic and coalgebraic specifications, categorical models of rewriting, graph transformation systems, process calculi, soft constraints
(Updated: 2008-06-27)
Prof. Dr.
Harald Ganzinger
Deceased June 3, 2004
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
Deceased July 3, 2006
Prof.
Reiko Heckel
Department of Computer Science
University
of Leicester
UNITED KINGDOM
WWW: http://www.cs.le.ac.uk/~rh122/
Research topics:graph transformation, UML semantics, software
architecture modelling, web services (Updated: 2005-02-21)
Prof. 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:
2004-03-12)
Dr. James Horning
Information Systems Security Operation, SPARTA, Inc.
USA
WWW: www.horning.net/pro-home.html
Research topics: computer and network security,
formalization of policies, access control in coalitions (Updated: 2004-07-19)
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)
Prof. Dr.
Hans-Jörg Kreowski
Universität Bremen
Fachbereich Mathematik/Informatik
GERMANY
WWW: http://www.informatik.uni-bremen.de/theorie
Research topics: algebraic specification, graph transformation, syntactic picture generation, modelling in logistics
(Updated: 2007-10-06)
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)
Dr.
Alexander Kurz
Department of Computer Science
University
of Leicester
UNITED KINGDOM
WWW: http://www.cs.le.ac.uk/people/akurz/
Research topics: (Updated: 2005-09-12)
Prof.
Pierre Lescanne
É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
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 Computing & Software
McMaster University
CANADA
WWW: http://www.cas.mcmaster.ca/~maibaum/
Research topics: meta-theory of specification, reactive system
specification, specification of object oriented systems, software engineering
methods and tools (Updated: 2005-01-21)
Dr.
Narciso Martí-Oliet
Facultad de Informatica
Universidad Complutense de Madrid
SPAIN
WWW: ???
Research topics:
Rewriting logic, Maude, logical frameworks, semantic frameworks,
verification logics. (Updated: 2005-09-12)
Prof.
Dominique
Méry
Université Henri Poincaré (Nancy 1) and LORIA
FRANCE
WWW: http://www.loria.fr/~mery
Research topics: formal modelling techniques, refinement, abstraction, distributed systems, patterns (Updated: 2007-11-21)
Prof.
José 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
Dept of Computer Science
Univ of Wales Swansea
UNITED KINGDOM
WWW: www.cs.swan.ac.uk/~cspdm
Research topics: algebraic specification languages, semantics
of programming languages, tools (Updated: 2005-01-21)
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 methods logic-oriented software specification,
verification and transformation, functional programming (Updated:
2004-03-12)
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)
Dr.
Dirk Pattinson
Department of Computing
Imperial College
UNITED KINGDOM
WWW: http://www.doc.ic.ac.uk/~dirk/
Research topics: Foundations of reactive systems (coalgebras, hybrid systems, modal logics, duality) and computability over real valued data (Updated: 2007-01-31)
Dr.
Dusko
Pavlovic
Kestrel Institute
USA
WWW: http://www.kestrel.edu/home/people/pavlovic/
Research topics: specifications, security, distributed computing,
games (Updated: 2005-02-21)
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)
Dr. Markus Roggenbach
Department of Computer Science
University of Wales Swansea
UK
WWW: http://www.cs.swan.ac.uk/~csmarkus/
Research topics: Mathematical theories of specification:
Algebraic Specification; Process Algebra; Tool support for specification languages (Updated: 2008-06-27)
Dr.
Grigore Rosu
Department of Computer Science,
University of Illinois at Urbana-Champaign
USA
WWW: http://fsl.cs.uiuc.edu/~grosu
Research topics: Design, semantics and implementation of programming and specification languages. Automated software engineering and formal methods, especially ``push-button'' techniques for certification, monitoring, synthesis and modularization. Automated reasoning about computer systems, applications of logics, theorem proving. Algorithms, (co)algebra, category theory (Updated: 2005-09-12)
Dr.
Mark Ryan
Department of Computer Science
University
of Birmingham
UNITED KINGDOM
WWW: http://www.cs.bham.ac.uk/~mdr
Research topics: Specification and verification of systems, particularly reactive systems, security systems. Feature integration and feature interaction. Temporal logic and model checking (Updated: 2005-09-12)
Prof.
Don Sannella
Laboratory for Foundations of Computer Science
University of Edinburgh
UNITED KINGDOM
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, security (Updated: 2007-02-10)
Prof.
Vladimiro Sassone
School of Electronics and Computer Science
University of Southampron
UNITED KINGDOM
WWW: http://www.ecs.soton.ac.uk/people/vs
Research topics:(Updated: 2007-11-21)
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)
Dr. Lutz
Schroeder
Safe and Secure Cognitive Systems
DFKI-Lab Bremen
GERMANY
WWW: http://www.informatik.uni-bremen.de/~lschrode
Research topics: Formal Methods of Software Development, Algebraic and Coalgebraic
Specification, Types, Category Theory(Updated: 2006-06-30)
Subramanian Pattamadai
Sitaraman
Deceased November 2, 2006
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
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)
|
