Higher Order Type Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Qing Zhao
Cornell University Netherlands
complex systems
machine learning systems
decision systems
View Professor Profile
Professor
Professor Profile
Dominic Verity
Macquarie University Australia
type systems
higher category theory
View Professor Profile
Professor
Professor Profile
Andrew Pitts
University of Cambridge United Kingdom
higher-order typed programming languages
theorem proving systems
View Professor Profile
Professor
Professor Profile
Tim Colonius
California Institute of Technology United States of America
high-order-accurate methods
reduced-order modeling
View Professor Profile
Professor
Professor Profile
Danna Zhang
University of California, San Diego United States of America
high-order statistics
high-dimensional time series
View Professor Profile
Professor
Professor Profile
Chaouki Abdallah
Georgia Institute of Technology United States of America
higher education systems
systems theory
View Professor Profile
Professor
Professor Profile
Olaf Van Der Sluis
Eindhoven University of Technology Belgium
high-tech systems
reduced order modeling
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
high-dependability systems
object-oriented systems
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
high-dependability systems
object-oriented systems
View Professor Profile
Professor
Professor Profile
Wassim Haddad
Georgia Institute of Technology United States of America
large-scale systems
network systems
View Professor Profile
Professor
Professor Profile
Wim Vanderbauwhede
University of Glasgow United Kingdom
novel type systems
heterogeneous systems
View Professor Profile
Professor
Professor Profile
Michael Do
Texas A&M University United States of America
complex systems
systems theory
View Professor Profile
Professor
Professor Profile
Jayadev Acharya
Cornell University Netherlands
complex systems
decision systems
View Professor Profile
Professor
Professor Profile
Professor
University of Michigan United States of America
complex systems
system-level design
View Professor Profile
Professor
Professor Profile
Peter Doerschuk
Cornell University Netherlands
complex systems
decision systems
View Professor Profile
Professor
Professor Profile
Eilyan Bitar
Cornell University Netherlands
complex systems
decision systems
View Professor Profile
Professor
Professor Profile
Henning Moritz
University of Hamburg Germany
strongly correlated systems
low dimensional systems
View Professor Profile
Professor
Professor Profile
Christos Kozyrakis
Stanford University United States of America
machine learning systems
computer systems
View Professor Profile
Professor
Professor Profile
Jeremie Lefebvre
University of Ottawa Canada
complex systems
stochastic systems
View Professor Profile
Professor
Professor Profile
Anisoara Calinescu
University of Oxford United Kingdom
complex systems
complex networked systems
View Professor Profile
Professor
Professor Profile
Ludvig Franzén
Linköping University Sweden
complex systems
system-of-systems
View Professor Profile
First
Prev
Page 1 | 1343 Results
Next