Program Correctness Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Corliss Bean
Brock University Canada
program evaluation
program development
program implementation
View Professor Profile
Professor
Professor Profile
Fraser Brown
Carnegie Mellon University United States of America
security program correctness
compiler correctness
View Professor Profile
Professor
Professor Profile
Aws Albarghouthi
University of Wisconsin–Madison United States of America
program verification
program synthesis
View Professor Profile
Professor
Professor Profile
Adithya Murali
University of Wisconsin–Madison United States of America
program verification
program synthesis
View Professor Profile
Professor
Professor Profile
Michael Winter
Brock University Canada
program verification
program development
View Professor Profile
Professor
Professor Profile
Zafer Esen
Uppsala University Sweden
program verification
program analysis
View Professor Profile
Professor
Professor Profile
Patrick Cousot
New York University United States of America
program verification
program analysis
View Professor Profile
Professor
Professor Profile
Wim Leendertse
University of Groningen Netherlands
programming
program management
View Professor Profile
Professor
Professor Profile
Zara Rafferty
University of Waterloo Canada
program evaluation
program management
View Professor Profile
Professor
Professor Profile
Denis Savard
Laval University Canada
program evaluation
program development
View Professor Profile
Professor
Professor Profile
John Wiecha
Boston University United States of America
program evaluation
program development
View Professor Profile
Professor
Professor Profile
John Wiecha
Boston University United States of America
program evaluation
program development
View Professor Profile
Professor
Professor Profile
Sinang Lee
University of Washington United States of America
program evaluation
program development
View Professor Profile
Professor
Professor Profile
Isil Dillig
University of Texas at Austin United States of America
program synthesis
program analysis
View Professor Profile
Professor
Professor Profile
Ravi Chugh
University of Chicago United States of America
program synthesis
program analysis
View Professor Profile
Professor
Professor Profile
Sarfraz Khurshid
University of Texas at Austin United States of America
program analysis
code conformance
View Professor Profile
Professor
Professor Profile
Sarfraz Khurshid
University of Texas at Austin United States of America
program analysis
code conformance
View Professor Profile
Professor
Professor Profile
Westley Weimer
University of Michigan United States of America
program analysis
automated program repair
View Professor Profile
Professor
Professor Profile
Cristina David
University of Bristol United Kingdom
program synthesis
software verification
View Professor Profile
Professor
Professor Profile
Ruben Martins
Carnegie Mellon University United States of America
program synthesis
software verification
View Professor Profile
Professor
Professor Profile
Eva Bruggisser
Uppsala University Sweden
program synthesis
software verification
View Professor Profile
First
Prev
Page 1 | 573 Results
Next