Formal Specification Languages Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
programming languages
formal models
higher-order languages
View Professor Profile
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
programming languages
formal models
formal methods
View Professor Profile
Professor
Professor Profile
George Tsiknis
University of British Columbia Canada
formal proof theory
software specification
programming language semantics
View Professor Profile
Professor
Professor Profile
Patrick Lam
University of Waterloo Canada
specification languages
verifiable domain-specific languages
View Professor Profile
Professor
Professor Profile
Anne Haxthausen
Technical University of Denmark Denmark
specification languages
formal methods
View Professor Profile
Professor
Professor Profile
James Avery
University of Copenhagen Denmark
formal languages
programming languages
View Professor Profile
Professor
Professor Profile
Ronghui Gu
Columbia University United States of America
formal semantics
programming language design
View Professor Profile
Professor
Professor Profile
Michael Norrish
Australian National University Australia
formal semantics
formal methods
View Professor Profile
Professor
Professor Profile
Suzi Lima
University of Toronto Canada
formal semantics
language documentation
View Professor Profile
Professor
Professor Profile
Lingzi Zhuang
University of Toronto Canada
formal semantics
language documentation
View Professor Profile
Professor
Professor Profile
Benjamin Goldberg
New York University United States of America
functional programming languages
programming language design
View Professor Profile
Professor
Professor Profile
Nicolas Wu
Imperial College London United Kingdom
domain specific languages
programming languages
View Professor Profile
Professor
Professor Profile
Samantha Frohlich
University of Bristol United Kingdom
declarative languages
programming languages
View Professor Profile
Professor
Professor Profile
Tijs Van Der Storm
University of Groningen Netherlands
domain-specific languages
programming languages
View Professor Profile
Professor
Professor Profile
Mary Shaw
Carnegie Mellon University United States of America
specification techniques
programming languages
View Professor Profile
Professor
Professor Profile
Laurence Tratt
King's College London United Kingdom
domain specific languages
programming languages
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
Gilbert Bernstein
University of Washington United States of America
programming languages
high-performance domain-specific languages
View Professor Profile
Professor
Professor Profile
Bas Spitters
Aarhus University Denmark
programming languages
formal models
View Professor Profile
Professor
Professor Profile
Lars Birkedal
Aarhus University Denmark
programming languages
formal models
View Professor Profile
Professor
Professor Profile
Juanita Caballero Villalobos
Technical University of Denmark Denmark
declarative languages
formal methods
View Professor Profile
First
Prev
Page 1 | 757 Results
Next