Program Specification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Patrick Lam
University of Waterloo Canada
specification languages
program understanding
program verification
verifiable software specifications
View Professor Profile
Professor
Professor Profile
Corliss Bean
Brock University Canada
program implementation
program development
program evaluation
View Professor Profile
Professor
Professor Profile
Carroll Morgan
University of New South Wales Australia
formal specification
program development
View Professor Profile
Professor
Professor Profile
Warren Hunt
University of Texas at Austin United States of America
microprocessor specification
program verification
View Professor Profile
Professor
Professor Profile
Aws Albarghouthi
University of Wisconsin–Madison United States of America
program synthesis
program verification
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
Michael Winter
Brock University Canada
program development
program verification
View Professor Profile
Professor
Professor Profile
Adithya Murali
University of Wisconsin–Madison United States of America
program synthesis
program verification
View Professor Profile
Professor
Professor Profile
Zafer Esen
Uppsala University Sweden
program verification
program analysis
View Professor Profile
Professor
Professor Profile
John Wiecha
Boston University United States of America
program development
program evaluation
View Professor Profile
Professor
Professor Profile
John Wiecha
Boston University United States of America
program development
program evaluation
View Professor Profile
Professor
Professor Profile
Wim Leendertse
University of Groningen Netherlands
programming
program management
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
Sinang Lee
University of Washington United States of America
program development
program evaluation
View Professor Profile
Professor
Professor Profile
Sarfraz Khurshid
University of Texas at Austin United States of America
specification languages
program analysis
View Professor Profile
Professor
Professor Profile
Denis Savard
Laval University Canada
program development
program evaluation
View Professor Profile
Professor
Professor Profile
Xiangyu Zhang
Purdue University United States of America
program analysis
program profiling
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
precise documentation
software requirements
View Professor Profile
Professor
Professor Profile
Zara Rafferty
University of Waterloo Canada
program evaluation
program management
View Professor Profile
Professor
Professor Profile
Philippa Gardner
Imperial College London United Kingdom
program specification
View Professor Profile
First
Prev
Page 1 | 453 Results
Next