Concurrent Separation Logic Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Sebastiaan Terwijn
Radboud University Netherlands
probabilistic logic
mathematical logic
algebraic logic
View Professor Profile
Professor
Professor Profile
John Reppy
University of Chicago United States of America
concurrent programming
parallel programming
View Professor Profile
Professor
Professor Profile
Emmett Witchel
University of Texas at Austin United States of America
concurrent systems security
low-level concurrent systems
View Professor Profile
Professor
Professor Profile
Natasha Sharygina
University of Lugano Switzerland
concurrent distributed computing
temporal logics
View Professor Profile
Professor
Professor Profile
Awos Kanan
University of Victoria Canada
parallel computing
parallel algorithms
View Professor Profile
Professor
Professor Profile
Bengt Jonsson
Uppsala University Sweden
verification of concurrent systems
semantics of concurrent systems
View Professor Profile
Professor
Professor Profile
Doron Nussbaum
Carleton University Canada
parallel computing
parallel distributed computing
View Professor Profile
Professor
Professor Profile
Tze Low
Carnegie Mellon University United States of America
parallel high-performance computing
parallel programming
View Professor Profile
Professor
Professor Profile
Hans Sørensen
Technical University of Denmark Denmark
parallel computers
parallel programming
View Professor Profile
Professor
Professor Profile
Jiyizhe Zhang
University of Manchester United Kingdom
chemical separations
novel separation systems
View Professor Profile
Professor
Professor Profile
Boelo Schuur
University of Twente Netherlands
innovative separation processes
sustainable separation technology
View Professor Profile
Professor
Professor Profile
Björn Victor
Uppsala University Sweden
distributed parallel computing
semantics and verification of concurrent systems
View Professor Profile
Professor
Professor Profile
James Hopgood
University of Edinburgh United Kingdom
multi-channel signal separation
single-channel signal separation
View Professor Profile
Professor
Professor Profile
Peter Dinda
Northwestern University United States of America
programming languages for parallel computing
parallel distributed systems
View Professor Profile
Professor
Professor Profile
Philippa Gardner
Imperial College London United Kingdom
concurrent separation logic
View Professor Profile
Professor
Professor Profile
Ruslan Nikolaev
Pennsylvania State University United States of America
concurrent computing
View Professor Profile
Professor
Professor Profile
Andrea Rosà
Università della Svizzera italiana Switzerland
concurrent computing
View Professor Profile
Professor
Professor Profile
Dale Shpak
University of Victoria Canada
concurrent processing
View Professor Profile
Professor
Professor Profile
John Chinneck
Carleton University Canada
concurrent algorithms
View Professor Profile
Professor
Professor Profile
Jayadev Misra
University of Texas at Austin United States of America
concurrent programming
View Professor Profile
Professor
Professor Profile
Ahmad Al-shishtawy
KTH Royal Institute of Technology Sweden
concurrent programming
View Professor Profile
First
Prev
Page 1 | 565 Results
Next