Program Decomposition Professors in Global

Showing 21 of 781 results Data last updated:

Search By
Location
Location
Searching Globally
Professor
Ravi Chugh Professor Profile

Ravi Chugh

University of Chicago United States of America
program synthesis
program analysis
functional programming
View Professor Profile
Professor

Corliss Bean

Brock University Canada
program evaluation
program development
program implementation
View Professor Profile
Professor
Isil Dillig Professor Profile

Isil Dillig

University of Texas at Austin United States of America
program synthesis
program analysis
View Professor Profile
Professor
Mei Wang Professor Profile

Mei Wang

University of Chicago United States of America
network decomposition
matrix decomposition
View Professor Profile
Professor

Michael Thomsen

University of Copenhagen Denmark
program analysis
program transformation
View Professor Profile
Professor
Sarah Chasins Professor Profile

Sarah Chasins

University of California, Berkeley United States of America
program synthesis
programming systems
View Professor Profile
Professor
Xiangyu Zhang Professor Profile

Xiangyu Zhang

Purdue University United States of America
program analysis
program profiling
View Professor Profile
Professor
John Wiecha Professor Profile

John Wiecha

Boston University United States of America
program evaluation
program development
View Professor Profile
Professor

Adithya Murali

University of Wisconsin–Madison United States of America
program synthesis
program verification
View Professor Profile
Professor

Armando Solar-lezama

Massachusetts Institute of Technology United States of America
program synthesis
automated program analysis
View Professor Profile
Professor

Aws Albarghouthi

University of Wisconsin–Madison United States of America
program synthesis
program verification
View Professor Profile
Professor
Sinang Lee Professor Profile

Sinang Lee

University of Washington United States of America
program evaluation
program development
View Professor Profile
Professor
Denis Savard Professor Profile

Denis Savard

Laval University Canada
program evaluation
program development
View Professor Profile
Professor
John Wiecha Professor Profile

John Wiecha

Boston University United States of America
program evaluation
program development
View Professor Profile
Professor
Ruben Martins Professor Profile

Ruben Martins

Carnegie Mellon University United States of America
program synthesis
constraint programming
View Professor Profile
Professor

Walter Binder

University of Lugano Switzerland
program transformations
dynamic program analysis
View Professor Profile
Professor

Patrick Cousot

New York University United States of America
program analysis
program verification
View Professor Profile
Professor

Lars Birkedal

Aarhus University Denmark
program analysis
functional programming
View Professor Profile
Professor
Ruben Martins Professor Profile

Ruben Martins

Carnegie Mellon University United States of America
program synthesis
constraint programming
View Professor Profile
Professor

Olivier Danvy

Aarhus University Denmark
program analysis
functional programming
View Professor Profile
Professor
Zafer Esen Professor Profile

Zafer Esen

Uppsala University Sweden
program analysis
program verification
View Professor Profile
First
Prev
Page 1 | 781 Results
Next