Proofs Of Programs Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Corliss Bean
Brock University Canada
program evaluation
program implementation
program development
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
mathematical proofs
program verification
View Professor Profile
Professor
Professor Profile
Francois Dupressoir
University of Bristol United Kingdom
machine-checked proofs
program verification
View Professor Profile
Professor
Professor Profile
Andrew Appel
Princeton University United States of America
machine-checked proofs
program verification
View Professor Profile
Professor
Professor Profile
Steven Kelk
Maastricht University Netherlands
computational proof
proof assistants
View Professor Profile
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
proof theory
proof assistants
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
Magnus Myréen
University of Gothenburg Sweden
theorem proving
proof logging
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
Isil Dillig
University of Texas at Austin United States of America
program analysis
program synthesis
View Professor Profile
Professor
Professor Profile
Ravi Chugh
University of Chicago United States of America
program analysis
program synthesis
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
Zeliha Kaynar
Carnegie Mellon University United States of America
foundations of programming languages
programming principles
View Professor Profile
Professor
Professor Profile
David Gries
Cornell University Netherlands
teaching programming
programming methodology
View Professor Profile
Professor
Professor Profile
Alex Kavvos
University of Bristol United Kingdom
proofs
View Professor Profile
First
Prev
Page 1 | 612 Results
Next