Program Checking Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
software testing
validation
software analysis
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
software model checking
automated verification
probabilistic model checking
verification
View Professor Profile
Professor
Professor Profile
Sarfraz Khurshid
University of Texas at Austin United States of America
program analysis
software testing
model checking
View Professor Profile
Professor
Professor Profile
Sarfraz Khurshid
University of Texas at Austin United States of America
program analysis
software testing
model checking
View Professor Profile
Professor
Professor Profile
Karthik Pattabiraman
University of British Columbia Canada
software verification
software testing
secure software
View Professor Profile
Professor
Professor Profile
Paul Brostean
Uppsala University Sweden
software testing
model checking
security testing
View Professor Profile
Professor
Professor Profile
Corliss Bean
Brock University Canada
program evaluation
program development
program implementation
View Professor Profile
Professor
Professor Profile
Koushik Sen
University of California, Berkeley United States of America
software testing
model checking
runtime monitoring
verification
View Professor Profile
Professor
Professor Profile
Michael Ernst
University of Washington United States of America
program analysis
testing
verification
View Professor Profile
Professor
Professor Profile
Ruben Martins
Carnegie Mellon University United States of America
software verification
program synthesis
software analysis
View Professor Profile
Professor
Professor Profile
Isil Dillig
University of Texas at Austin United States of America
program analysis
program synthesis
verification
View Professor Profile
Professor
Professor Profile
Ravi Chugh
University of Chicago United States of America
program analysis
program synthesis
functional programming
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
testing
verification
View Professor Profile
Professor
Professor Profile
Daniel Dig
University of Illinois United States of America
software testing
verification
validation
View Professor Profile
Professor
Professor Profile
Fraser Brown
Carnegie Mellon University United States of America
verification of production systems
security program correctness
bug finding
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
Michael Winter
Brock University Canada
program verification
program development
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
Karine Even-mendoza
King's College London United Kingdom
software verification
software testing
View Professor Profile
First
Prev
Page 1 | 1112 Results
Next