Formal Methods People (First 20 people) - Page 1

David A. Basin

David A. Basin

Author

Steve Kremer

Steve Kremer

Writer

Frank Piessens

Frank Piessens

Author

Ernesto Pimentel

Ernesto Pimentel

Researcher

Oleg Sokolsky

Oleg Sokolsky

Researcher

Emil Sekerinski

Emil Sekerinski

Higher education teacher

Tevfik Bultan

Tevfik Bultan

Mathematician

Mike Hinchey

Mike Hinchey


José Luiz Fiadeiro

José Luiz Fiadeiro

Computer science researcher

Jim Woodcock

Jim Woodcock

British computer scientist

Martin Wirsing

Martin Wirsing

Computer scientist

David Faitelson

David Faitelson

Israeli journalist

Ina Schaefer

Ina Schaefer

Computer researcher

Joseph Sifakis

Joseph Sifakis

Greek-French computer scientist

Stefano Zacchiroli

Stefano Zacchiroli

Italian-French computer scientist

Sergiy Vilkomir

Sergiy Vilkomir

Ukrainian computer scientist

Hubert Baumeister

Hubert Baumeister

Author

Wolfgang Arendt

Wolfgang Arendt

German mathematician

Marie-Claude Gaudel

Marie-Claude Gaudel

French computer scientist

Jeannette Wing

Jeannette Wing

Professor