Formality Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
formalisation
formal models
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
formal verification
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
Michael Norrish
Australian National University Australia
formal methods
formal semantics
View Professor Profile
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
formal methods
formal models
View Professor Profile
Professor
Professor Profile
Hotze Rullmann
University of British Columbia Canada
formal semantics
modality
View Professor Profile
Professor
Professor Profile
Hotze Rullmann
University of British Columbia Canada
formal semantics
modality
View Professor Profile
Professor
Professor Profile
Stefan Dimitriadis
University of Toronto Canada
formality
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
Oleg Sokolsky
University of Pennsylvania United States of America
formal verification
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
formal verification
View Professor Profile
Professor
Professor Profile
Muhammad Najib
University of Oxford United Kingdom
formal verification
View Professor Profile
Professor
Professor Profile
Mukund Raghothaman
University of Southern California United States of America
formal verification
View Professor Profile
Professor
Professor Profile
Ralf Jung
ETH Zurich Switzerland
formal verification
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
formal verification
View Professor Profile
Professor
Professor Profile
Elli Anastasiadi
Aalborg University Denmark
formal verification
View Professor Profile
Professor
Professor Profile
Lone Thomsen
Aalborg University Denmark
formal verification
View Professor Profile
Professor
Professor Profile
Anders Schlichtkrull
Aalborg University Denmark
formal verification
View Professor Profile
Professor
Professor Profile
Mats Näslund
KTH Royal Institute of Technology Sweden
formal verification
View Professor Profile
First
Prev
Page 1 | 553 Results
Next