Formal Specification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
formal verification
formal methods
software specification and verification
View Professor Profile
Professor
Professor Profile
Eunsuk Kang
Carnegie Mellon University United States of America
specification
formal methods
View Professor Profile
Professor
Professor Profile
Michael Norrish
Australian National University Australia
formal semantics
formal methods
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
formalisation
formal models
View Professor Profile
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
formal models
formal methods
View Professor Profile
Professor
Professor Profile
Roberto Guanciale
KTH Royal Institute of Technology Sweden
formal verification
formal methods
View Professor Profile
Professor
Professor Profile
Anne Haxthausen
Technical University of Denmark Denmark
formal methods
specification languages
View Professor Profile
Professor
Professor Profile
Juergen Dingel
Queen's University Canada
formal specification
View Professor Profile
Professor
Professor Profile
Helle Hansen
University of Groningen Netherlands
formal specification
View Professor Profile
Professor
Professor Profile
Carroll Morgan
University of New South Wales Australia
formal specification
View Professor Profile
Professor
Professor Profile
Athanassios Economou
Georgia Institute of Technology United States of America
formal specification style
View Professor Profile
Professor
Professor Profile
Derek Rayside
University of Waterloo Canada
specification
View Professor Profile
Professor
Professor Profile
Dominique Sportiche
University of California Los Angeles United States of America
formal syntax
View Professor Profile
Professor
Professor Profile
Luis Rojas Berscia
Radboud University Netherlands
formal syntax
View Professor Profile
Professor
Professor Profile
Manuel Delicado Cantero
Australian National University Australia
formal syntax
View Professor Profile
Professor
Professor Profile
Zeliha Kaynar
Carnegie Mellon University United States of America
formal modeling
View Professor Profile
Professor
Professor Profile
Scott Page
University of Michigan United States of America
formal modeling
View Professor Profile
Professor
Professor Profile
Sean Gailmard
University of California, Berkeley United States of America
formal modeling
View Professor Profile
Professor
Professor Profile
Jenna Bednar
University of Michigan United States of America
formal modeling
View Professor Profile
Professor
Professor Profile
Ken Kollman
University of Michigan United States of America
formal modeling
View Professor Profile
Professor
Professor Profile
Terrence Chapman
University of Texas at Austin United States of America
formal modeling
View Professor Profile
First
Prev
Page 1 | 409 Results
Next