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
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
Georges Monette
York University Canada
statistical models
mixed models
longitudinal models
View Professor Profile
Professor
Professor Profile
Eugene Syriani
University of Montreal Canada
model-driven methodology
model-based design
model transformation
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
Clemens Dubslaff
Eindhoven University of Technology Belgium
formal methods
symbolic formal methods
View Professor Profile
Professor
Professor Profile
Roberto Guanciale
KTH Royal Institute of Technology Sweden
formal methods
formal verification
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
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
Ai Taniguchi
University of Toronto Canada
formal semantics
formal pragmatics
View Professor Profile
Professor
Professor Profile
Alan Hu
University of British Columbia Canada
formal methods
automated formal verification
View Professor Profile
Professor
Professor Profile
Matthias Althoff
Technical University of Munich Germany
formal methods
model-based design
View Professor Profile
Professor
Professor Profile
Herman Geuvers
Radboud University Netherlands
formal methods
computational models
View Professor Profile
Professor
Professor Profile
Andrea Vandin
Technical University of Denmark Denmark
formal methods
model reduction
View Professor Profile
Professor
Professor Profile
Michalis Famelis
Université de Montréal Canada
formal methods
model-driven engineering
View Professor Profile
Professor
Professor Profile
Hubert Baumeister
Technical University of Denmark Denmark
formal methods
model driven architecture
View Professor Profile
First
Prev
Page 1 | 3036 Results
Next