Abstraction Refinement Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Pierre Flener
Uppsala University Sweden
constraint modeling
constraint solving
discrete optimization
View Professor Profile
Professor
Professor Profile
Richard Trefler
University of Waterloo Canada
abstraction techniques
automated reasoning
View Professor Profile
Professor
Professor Profile
Richard Trefler
University of Waterloo Canada
abstraction techniques
automated reasoning
View Professor Profile
Professor
Professor Profile
Arie Gurfinkel
University of Waterloo Canada
abstract interpretation
automated reasoning
View Professor Profile
Professor
Professor Profile
Mario Ventresca
Purdue University United States of America
automated design inference
discrete optimization
View Professor Profile
Professor
Professor Profile
Alexey Ignatiev
Monash University Australia
automated reasoning
combinatorial optimisation
View Professor Profile
Professor
Professor Profile
Maria Rodriguez
Uppsala University Sweden
constraint modelling
discrete optimization
View Professor Profile
Professor
Professor Profile
Jeroen Keppens
King's College London United Kingdom
compositional modelling
approximate reasoning
View Professor Profile
Professor
Professor Profile
Carly Sheehan
University of Washington United States of America
abstraction
View Professor Profile
Professor
Professor Profile
Marek Wieczorek
University of Washington United States of America
abstraction
View Professor Profile
Professor
Professor Profile
Irene Small
Princeton University United States of America
abstraction
View Professor Profile
Professor
Professor Profile
Mark Irwin
University of Southern California United States of America
abstraction
View Professor Profile
Professor
Professor Profile
Sheyda Khaymaz
University of Texas at Austin United States of America
abstraction
View Professor Profile
Professor
Professor Profile
John Kissick
University of Guelph Canada
abstraction
View Professor Profile
Professor
Professor Profile
M.e. Sparks
University of Manitoba Canada
abstraction
View Professor Profile
Professor
Professor Profile
Amy Powell
University of Southern California United States of America
abstraction
View Professor Profile
Professor
Professor Profile
Christine Mehring
University of Chicago United States of America
abstraction
View Professor Profile
Professor
Professor Profile
Megan Sullivan
University of Chicago United States of America
abstraction
View Professor Profile
Professor
Professor Profile
Larissa Tiggelers
University of Regina Canada
abstraction
View Professor Profile
Professor
Professor Profile
Jackie Tileston
University of Pennsylvania United States of America
abstraction
View Professor Profile
Professor
Professor Profile
Jennifer Green
University of Pennsylvania United States of America
abstraction
View Professor Profile
First
Prev
Page 1 | 579 Results
Next