Modeling Logics Of Programming Languages Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Sebastiaan Terwijn
Radboud University Netherlands
mathematical logic
probabilistic logic
algebraic logic
View Professor Profile
Professor
Professor Profile
Uli Sattler
University of Manchester United Kingdom
modal logics
dynamic logics
description logics
View Professor Profile
Professor
Professor Profile
Andrea Schalk
University of Manchester United Kingdom
modeling logics of programming languages
linear logic
View Professor Profile
Professor
Professor Profile
Corina Cirstea
University of Southampton United Kingdom
logic models of computation
modal logics
View Professor Profile
Professor
Professor Profile
Azalea Raad
Imperial College London United Kingdom
program logics
programming languages
View Professor Profile
Professor
Professor Profile
Lars-henrik Eriksson
Uppsala University Sweden
logic programming
programming languages
View Professor Profile
Professor
Professor Profile
Peter Stuckey
Monash University Australia
logic programming
programming languages
program analysis
View Professor Profile
Professor
Professor Profile
Gagandeep Singh
University of Illinois United States of America
language modeling
programming languages
View Professor Profile
Professor
Professor Profile
Richard Statman
Carnegie Mellon University United States of America
mathematical logic
programming languages
functional programming
View Professor Profile
Professor
Professor Profile
Assaf Kfoury
Boston University United States of America
mathematical logic
programming languages
View Professor Profile
Professor
Professor Profile
Professor
Linköping University Sweden
programming models
software system modelling
View Professor Profile
Professor
Professor Profile
George Tsiknis
University of British Columbia Canada
mathematical logic
programming language semantics
View Professor Profile
Professor
Professor Profile
Andrew Pitts
University of Cambridge United Kingdom
mathematical logic
programming language semantics
dependently typed logics
View Professor Profile
Professor
Professor Profile
Michael Gruninger
University of Toronto Canada
mathematical logic
process modelling
View Professor Profile
Professor
Professor Profile
Jip Dekker
Monash University Australia
programming languages
problem modelling
View Professor Profile
Professor
Professor Profile
Adithya Murali
University of Wisconsin–Madison United States of America
programming languages
data-driven logic learning
View Professor Profile
Professor
Professor Profile
Zoran Budimlić
Texas A&M University United States of America
programming languages
high-level programming models
View Professor Profile
Professor
Professor Profile
Agi Kurucz
King's College London United Kingdom
mathematical logic
logical systems
View Professor Profile
Professor
Professor Profile
Maribel Fernandez
King's College London United Kingdom
programming languages
modeling systems
View Professor Profile
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
programming languages
linear logic
View Professor Profile
Professor
Professor Profile
Jean-baptiste Jeannin
University of Michigan United States of America
programming languages
logics
View Professor Profile
First
Prev
Page 1 | 1369 Results
Next