Semantics And Verification Of Concurrent Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Bengt Jonsson
Uppsala University Sweden
verification of concurrent systems
semantics of concurrent systems
View Professor Profile
Professor
Professor Profile
Suresh Jagannathan
Purdue University United States of America
concurrent systems
semantics
View Professor Profile
Professor
Professor Profile
Kanianthra Chandy
California Institute of Technology United States of America
concurrent systems
verification and validation
View Professor Profile
Professor
Professor Profile
James Cockett
University of Calgary Canada
semantics concurrency
semantics computation
View Professor Profile
Professor
Professor Profile
Tianyin Xu
University of Illinois United States of America
concurrent systems
verification of programs
View Professor Profile
Professor
Professor Profile
Jayadev Misra
University of Texas at Austin United States of America
concurrent programming
semantics
View Professor Profile
Professor
Professor Profile
Maribel Fernandez
King's College London United Kingdom
analysis and verification
software verification
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
Nikolaj Kristensen
Aalborg University Denmark
semantics
modeling and verification of quantum circuits
View Professor Profile
Professor
Professor Profile
Guillaume Thomas
University of Toronto Canada
semantics
cross-linguistic semantics
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
semantics
software verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
concurrent programming algorithms
software verification
View Professor Profile
Professor
Professor Profile
Alessio Lomuscio
Imperial College London United Kingdom
verification of neural networks
verification of neuro-symbolic systems
View Professor Profile
Professor
Professor Profile
Marieke Huisman
University of Twente Netherlands
concurrent software
verification techniques
View Professor Profile
Professor
Professor Profile
Dimitra Lazaridou-chatzigoga
University of Cambridge United Kingdom
cross-linguistic semantics
experimental semantics
View Professor Profile
Professor
Professor Profile
Björn Victor
Uppsala University Sweden
semantics and verification of concurrent systems
View Professor Profile
Professor
Professor Profile
Jean Bacon
University of Cambridge United Kingdom
concurrent and distributed systems
View Professor Profile
Professor
Professor Profile
Joachim Parrow
Uppsala University Sweden
concurrent systems
View Professor Profile
Professor
Professor Profile
Michael Köhler-bußmeier
Hamburg University of Applied Sciences Germany
concurrent systems
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
verification and validation of software systems
View Professor Profile
Professor
Professor Profile
Ian Stark
University of Edinburgh United Kingdom
concurrent systems
View Professor Profile
First
Prev
Page 1 | 428 Results
Next