Formal Methods For Programming Languages Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
formal methods
formal models
programming languages
View Professor Profile
Professor
Professor Profile
Philip Wadler
University of Edinburgh United Kingdom
formal methods
functional programming
programming languages
View Professor Profile
Professor
Professor Profile
Jeremy Gibbons
University of Oxford United Kingdom
programming methodology
functional programming
programming languages
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
formal models
functional programming
programming languages
View Professor Profile
Professor
Professor Profile
Lars Birkedal
Aarhus University Denmark
formal models
functional programming
programming languages
View Professor Profile
Professor
Professor Profile
Bas Spitters
Aarhus University Denmark
formal models
functional programming
programming languages
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
formal models
programming languages
software methodology
View Professor Profile
Professor
Professor Profile
Stephanie Weirich
University of Pennsylvania United States of America
functional programming
programming languages
generic programming
View Professor Profile
Professor
Professor Profile
Zeliha Kaynar
Carnegie Mellon University United States of America
formal modeling
foundations of programming languages
programming principles
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
John Anderson
Carnegie Mellon University United States of America
computational methods
mathematical methods
statistical methods
View Professor Profile
Professor
Professor Profile
Maysam Chamanzar
Carnegie Mellon University United States of America
computational methods
mathematical methods
statistical methods
View Professor Profile
Professor
Professor Profile
Kate Hong
Carnegie Mellon University United States of America
computational methods
mathematical methods
statistical methods
View Professor Profile
Professor
Professor Profile
Dave Touretzky
Carnegie Mellon University United States of America
computational methods
mathematical methods
statistical methods
View Professor Profile
Professor
Professor Profile
Caleb Pomeroy
University of Toronto Canada
computational methods
experimental methods
statistical methods
View Professor Profile
Professor
Professor Profile
Miguel Campusano Araya
University of Southern Denmark Denmark
programming paradigms
software methodology
programming tools
View Professor Profile
Professor
Professor Profile
Rajeev Alur
University of Pennsylvania United States of America
formal methods
programming languages
View Professor Profile
Professor
Professor Profile
Rajeev Alur
University of Pennsylvania United States of America
formal methods
programming languages
View Professor Profile
Professor
Professor Profile
Sergio Maffeis
Imperial College London United Kingdom
formal methods
programming languages
View Professor Profile
Professor
Professor Profile
Roberto Guanciale
KTH Royal Institute of Technology Sweden
formal methods
programming languages
View Professor Profile
First
Prev
Page 1 | 2168 Results
Next