Formal Analysis Of Programming Languages Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
James Avery
University of Copenhagen Denmark
formal languages
functional analysis
programming languages
automatic program analysis
View Professor Profile
Professor
Professor Profile
Lars Birkedal
Aarhus University Denmark
program analysis
programming languages
functional programming
formal models
View Professor Profile
Professor
Professor Profile
Olivier Danvy
Aarhus University Denmark
program analysis
programming languages semantics
functional programming
View Professor Profile
Professor
Professor Profile
Carlo Furia
Università della Svizzera italiana Switzerland
program analysis
programming languages
formal methods
View Professor Profile
Professor
Professor Profile
Suresh Jagannathan
Purdue University United States of America
program analysis
programming languages
formal methods
View Professor Profile
Professor
Professor Profile
Aarne Ranta
Chalmers University of Technology Sweden
software analysis
programming languages
functional programming
View Professor Profile
Professor
Professor Profile
Philip Wadler
University of Edinburgh United Kingdom
programming languages
functional programming
formal methods
View Professor Profile
Professor
Professor Profile
Jeremy Gibbons
University of Oxford United Kingdom
programming languages
functional programming
programming methodology
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
programming languages
functional programming
formal models
View Professor Profile
Professor
Professor Profile
Bas Spitters
Aarhus University Denmark
programming languages
functional programming
formal models
View Professor Profile
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
programming languages
formal methods
formal models
View Professor Profile
Professor
Professor Profile
Roberto Guanciale
KTH Royal Institute of Technology Sweden
programming languages
formal methods
formal verification
View Professor Profile
Professor
Professor Profile
Jeffrey Siskind
Purdue University United States of America
programming languages
mostly-functional programming languages
programming environments
View Professor Profile
Professor
Professor Profile
Jeffrey Siskind
Purdue University United States of America
programming languages
mostly-functional programming languages
programming environments
View Professor Profile
Professor
Professor Profile
Benjamin Pierce
University of Pennsylvania United States of America
formal foundations of programming semantics
programming languages
View Professor Profile
Professor
Professor Profile
Ronald Garcia
University of British Columbia Canada
program analysis
programming languages
View Professor Profile
Professor
Professor Profile
Peter Stuckey
Monash University Australia
program analysis
programming languages
View Professor Profile
Professor
Professor Profile
Jingling Xue
University of New South Wales Australia
program analysis
programming languages
View Professor Profile
Professor
Professor Profile
Michael Ernst
University of Washington United States of America
program analysis
programming languages
View Professor Profile
Professor
Professor Profile
Ravi Chugh
University of Chicago United States of America
program analysis
functional programming
View Professor Profile
Professor
Professor Profile
Patrick Cousot
New York University United States of America
program analysis
formal methods
View Professor Profile
First
Prev
Page 1 | 2082 Results
Next