Formal Models Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Ralf Möller
University of Hamburg Germany
dynamic models
probabilistic models
causal models
multimodal foundation models
View Professor Profile
Professor
Professor Profile
Guy Bresler
Massachusetts Institute of Technology United States of America
mathematical models
statistical models
graphical models
View Professor Profile
Professor
Professor Profile
Dorina Petriu
Carleton University Canada
performance models
model transformations
model-driven development
View Professor Profile
Professor
Professor Profile
Wicher Bergsma
London School of Economics and Political Science United Kingdom
graphical models
statistical modeling
regression models
View Professor Profile
Professor
Professor Profile
Kai Brüssau
University of Hamburg Germany
classification models
large language models
regression models
View Professor Profile
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
formal models
formal methods
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
formal models
modeling
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
formal models
formalisation
View Professor Profile
Professor
Professor Profile
Michael Norrish
Australian National University Australia
formal methods
formal semantics
View Professor Profile
Professor
Professor Profile
Eunsuk Kang
Carnegie Mellon University United States of America
formal methods
modeling
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
formal methods
formal verification
View Professor Profile
Professor
Professor Profile
Roberto Guanciale
KTH Royal Institute of Technology Sweden
formal methods
formal verification
View Professor Profile
Professor
Professor Profile
Michael Butler
University of Southampton United Kingdom
formal methods
model-based methods
View Professor Profile
Professor
Professor Profile
Matthias Althoff
Technical University of Munich Germany
formal methods
model-based design
View Professor Profile
Professor
Professor Profile
Andrea Vandin
Technical University of Denmark Denmark
formal methods
model reduction
View Professor Profile
Professor
Professor Profile
Herman Geuvers
Radboud University Netherlands
formal methods
computational models
View Professor Profile
Professor
Professor Profile
Michalis Famelis
Université de Montréal Canada
formal methods
model-driven engineering
View Professor Profile
Professor
Professor Profile
Dimitra Lazaridou-chatzigoga
University of Cambridge United Kingdom
formal semantics
formal experimental pragmatics
View Professor Profile
Professor
Professor Profile
Hubert Baumeister
Technical University of Denmark Denmark
formal methods
model driven architecture
View Professor Profile
Professor
Professor Profile
Natalia Bailey
Monash University Australia
factor models
spatial models
View Professor Profile
Professor
Professor Profile
Grzegorz Rozenberg
Leiden University Netherlands
formal languages
computational models
View Professor Profile
First
Prev
Page 1 | 3014 Results
Next