Formal Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
formal models
formal methods
type systems
View Professor Profile
Professor
Professor Profile
Luís Amaral
Northwestern University United States of America
complex systems
social systems
biological systems
View Professor Profile
Professor
Professor Profile
Manoranjan Majji
Texas A&M University United States of America
structural systems
dynamical systems
sensor systems
View Professor Profile
Professor
Professor Profile
Dominic Verity
Macquarie University Australia
formal verification
type systems
software systems
View Professor Profile
Professor
Professor Profile
Anastasia Bizyaeva
Cornell University Netherlands
social systems
dynamical systems
biological systems
View Professor Profile
Professor
Professor Profile
Edwin Cowen
Cornell University Netherlands
complex systems
water systems
energy systems
View Professor Profile
Professor
Professor Profile
Hossein Rouhani
University of Alberta Canada
dynamical systems
mechanical systems
control systems
View Professor Profile
Professor
Professor Profile
Martin Barczyk
University of Alberta Canada
dynamical systems
mechanical systems
control systems
View Professor Profile
Professor
Professor Profile
Martin Barczyk
University of Alberta Canada
dynamical systems
mechanical systems
control systems
View Professor Profile
Professor
Professor Profile
Jörg Raisch
Technical University of Berlin Germany
dynamic systems
control systems
real-time systems
View Professor Profile
Professor
Professor Profile
Philip Paré
Purdue University United States of America
economic systems
biological systems
nonlinear systems
View Professor Profile
Professor
Professor Profile
Peter Goldsmith
University of Calgary Canada
cognitive systems
control systems
intelligent systems
View Professor Profile
Professor
Professor Profile
Marina Papatriantafilou
Chalmers University of Technology Sweden
production systems
vehicular systems
communication systems
energy systems
View Professor Profile
Professor
Professor Profile
Martin Vechev
ETH Zurich Switzerland
secure systems
intelligent systems
reliable systems
View Professor Profile
Professor
Professor Profile
Christer Svensson
Linköping University Sweden
computer systems
communication systems
sensor systems
View Professor Profile
Professor
Professor Profile
Lei Ma
University of Alberta Canada
control systems
intelligent systems
energy systems
View Professor Profile
Professor
Professor Profile
Satadru Dey
Pennsylvania State University United States of America
socio-technical systems
transportation systems
energy systems
View Professor Profile
Professor
Professor Profile
Professor
University of Hamburg Germany
formal models
complex systems
View Professor Profile
Professor
Professor Profile
Michael Norrish
Australian National University Australia
formal methods
formal semantics
View Professor Profile
Professor
Professor Profile
Professor
University of Michigan United States of America
formal methods
complex systems
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
formal models
formalisation
View Professor Profile
First
Prev
Page 1 | 4467 Results
Next