Symbolic Formal Methods Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Kate Hong
Carnegie Mellon University United States of America
mathematical methods
statistical methods
behavioral methods
physiological methods
View Professor Profile
Professor
Professor Profile
Ken Mcmillan
University of Texas at Austin United States of America
formal methods
compositional methods
symbolic model checking
View Professor Profile
Professor
Professor Profile
Professor
Northwestern University United States of America
interpretive methods
experimental methods
qualitative methods
View Professor Profile
Professor
Professor Profile
Mike Tarr
Carnegie Mellon University United States of America
mathematical methods
statistical methods
behavioral methods
View Professor Profile
Professor
Professor Profile
Eileen Alexander
London School of Economics and Political Science United Kingdom
creative visual methods
participatory methods
qualitative methods
View Professor Profile
Professor
Professor Profile
John Anderson
Carnegie Mellon University United States of America
mathematical methods
statistical methods
behavioral methods
View Professor Profile
Professor
Professor Profile
Alison Barth
Carnegie Mellon University United States of America
statistical methods
molecular methods
physiological methods
View Professor Profile
Professor
Professor Profile
Clemens Dubslaff
Eindhoven University of Technology Belgium
symbolic formal methods
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
Michael Butler
University of Southampton United Kingdom
formal methods
model-based methods
View Professor Profile
Professor
Professor Profile
Anton Leykin
Georgia Institute of Technology United States of America
applications of symbolic numerical methods
symbolic computation
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
Ai Taniguchi
University of Toronto Canada
formal semantics
formal pragmatics
View Professor Profile
Professor
Professor Profile
Naomi Richards
University of Glasgow United Kingdom
visual methods
participatory methods
View Professor Profile
Professor
Professor Profile
Yelena Gluzman
University of Alberta Canada
experimental methods
feminist methods
View Professor Profile
Professor
Professor Profile
Brady Wagoner
University of Copenhagen Denmark
visual methods
qualitative methods
View Professor Profile
Professor
Professor Profile
Markus Kästner
TU Dresden Germany
experimental methods
numerical methods
View Professor Profile
Professor
Professor Profile
Jürgen Wagner
Technische Universität Dresden Germany
experimental methods
numerical methods
View Professor Profile
Professor
Professor Profile
Brady Wagoner
Aalborg University Denmark
visual methods
qualitative methods
View Professor Profile
Professor
Professor Profile
Allan Dolovich
University of Saskatchewan Canada
experimental methods
numerical methods
View Professor Profile
First
Prev
Page 1 | 2122 Results
Next