IFIP Working Group 2.2
Formal Description of Programming Concepts

Members

Member nameNationality
Chairman Igor Walukiewicz France
Vice chairman Antonín Kučera Czech Republic
SecretaryMarkus Müller-Olm Germany
Parosh Abdulla Sweden
Gilles Barthe Spain
Frank de Boer The Netherlands
Ahmed Bouajjani France
Einar Broch Johnsen Norway
Luis Caires Portugal
Rocco De Nicola Italy
Mariangiola Dezani-Ciancaglini Italy
Javier EsparzaGermany
Marcelo Frias Argentina
Radu Grosu Austria
Matthew Hennessy Ireland
Joost-Pieter Katoen Germany
Naoki Kobayashi Japan
Maciej Koutny United Kingdom
Barbara König Germany
Stephan Merz France
Ugo Montanari Italy
Peter D. Mosses United Kingdom
Andrzej Murawski United Kingdom
Uwe Nestmann Germany
Ernst-Ruediger Olderog Germany
Luke Ong United Kingdom
Wojciech Penczek Poland
K.V.S. Prasad Sweden
Jean-Francois Raskin Belgium
Jan Rutten The Netherlands
Davide Sangiorgi Italy
Masahiko Sato Japan
Pawel Sobocinski United Kingdom
Andrzej Tarlecki Poland

Table: Members of WG 2.2