Formal Specification Languages Professors in Global

Showing 21 of 753 results Data last updated:

Search By
Location
Location
Searching Globally
Professor

Stefano Volpe

University of Southern Denmark Denmark
programming languages
formal models
higher-order languages
View Professor Profile
Professor
Fabrizio Montesi Professor Profile

Fabrizio Montesi

University of Southern Denmark Denmark
programming languages
formal models
formal methods
View Professor Profile
Professor

George Tsiknis

University of British Columbia Canada
formal proof theory
software specification
programming language semantics
View Professor Profile
Professor

Patrick Lam

University of Waterloo Canada
specification languages
verifiable domain-specific languages
View Professor Profile
Professor

Anne Haxthausen

Technical University of Denmark Denmark
specification languages
formal methods
View Professor Profile
Professor

James Avery

University of Copenhagen Denmark
formal languages
programming languages
View Professor Profile
Professor
Ronghui Gu Professor Profile

Ronghui Gu

Columbia University United States of America
formal semantics
programming language design
View Professor Profile
Professor

Suzi Lima

University of Toronto Canada
formal semantics
language documentation
View Professor Profile
Professor

Michael Norrish

Australian National University Australia
formal semantics
formal methods
View Professor Profile
Professor
Lingzi Zhuang Professor Profile

Lingzi Zhuang

University of Toronto Canada
formal semantics
language documentation
View Professor Profile
Professor
Mary Shaw Professor Profile

Mary Shaw

Carnegie Mellon University United States of America
specification techniques
programming languages
View Professor Profile
Professor

Tijs Van Der Storm

University of Groningen Netherlands
domain-specific languages
programming languages
View Professor Profile
Professor
Samantha Frohlich Professor Profile

Samantha Frohlich

University of Bristol United Kingdom
declarative languages
programming languages
View Professor Profile
Professor

Benjamin Pierce

University of Pennsylvania United States of America
formal foundations of programming semantics
programming languages
View Professor Profile
Professor
Benjamin Goldberg Professor Profile

Benjamin Goldberg

New York University United States of America
functional programming languages
programming language design
View Professor Profile
Professor
Nicolas Wu Professor Profile

Nicolas Wu

Imperial College London United Kingdom
domain specific languages
programming languages
View Professor Profile
Professor
Laurence Tratt Professor Profile

Laurence Tratt

King's College London United Kingdom
domain specific languages
programming languages
View Professor Profile
Professor
Gilbert Bernstein Professor Profile

Gilbert Bernstein

University of Washington United States of America
programming languages
high-performance domain-specific languages
View Professor Profile
Professor

Juanita Caballero Villalobos

Technical University of Denmark Denmark
declarative languages
formal methods
View Professor Profile
Professor

Eun-young Kang

University of Southern Denmark Denmark
programming languages
formal models
View Professor Profile
Professor

Lars Birkedal

Aarhus University Denmark
programming languages
formal models
View Professor Profile
First
Prev
Page 1 | 753 Results
Next