Professional Activities

Editor-In-Chief:

 

FORMAL METHODS IN SYSTEM DESIGN, Kluwer Academic Publishers.

 

Editorial Boards:

 

• IEEE Transactions on Software Engineering
• DISTRIBUTED COMPUTING, published by Springer Verlag.
• Advisory Panel, SOFTWARE TOOLS AND TECHNOLOGY TRANSFER (STTT), to be published by Springer-Verlag, 1997.

 

Steering Committee:

 

Conference on Computer-Aided Verification, 1990-present.

 

Steering Committee:

 

Logic in Computer Science, 1994-present.

 

Professional Organizations:

 

• ACM
• IEEE
• IFIP WG 10.2 on Hardware Description Languages
• European Association for Theoretical Computer Science.