What is he best known for?
The fields of study he is best known for:
- Programming language
- Algorithm
- Artificial intelligence
A. W. Roscoe focuses on Theoretical computer science, Communicating sequential processes, Programming language, Model checking and Deadlock.
His specific area of interest is Theoretical computer science, where A. W. Roscoe studies Process calculus.
His JCSP study in the realm of Communicating sequential processes interacts with subjects such as Algebra of Communicating Processes and Notation.
His work on Concurrency, Operational semantics and GRASP is typically connected to Semantic theory of truth as part of general Programming language study, connecting several disciplines of science.
A. W. Roscoe combines subjects such as Distributed computing, Key exchange, Formal specification, Formal verification and Exception handling with his study of Model checking.
His Deadlock course of study focuses on Parallel language and Recursion and Nondeterministic algorithm.
His most cited work include:
- The Theory and Practice of Concurrency (1229 citations)
- A Theory of Communicating Sequential Processes (1100 citations)
- Laws of Programming (294 citations)
What are the main themes of his work throughout his whole career to date?
His scientific interests lie mostly in Theoretical computer science, Programming language, Model checking, Concurrency and Algorithm.
His Theoretical computer science research incorporates elements of Range, Semantics, Deadlock and Communicating sequential processes.
He has researched Communicating sequential processes in several fields, including Bounded function and Nondeterministic algorithm.
His work in the fields of Compiler, Mutual exclusion and Software development overlaps with other areas such as Notation.
His research in Model checking intersects with topics in Decidability, Data independence, Set, Type and Static analysis.
His Concurrency study combines topics in areas such as Discrete mathematics and Mathematical proof.
He most often published in these fields:
- Theoretical computer science (42.86%)
- Programming language (26.98%)
- Model checking (20.63%)
What were the highlights of his more recent work (between 2011-2021)?
- Theoretical computer science (42.86%)
- Programming language (26.98%)
- Model checking (20.63%)
In recent papers he was focusing on the following fields of study:
Theoretical computer science, Programming language, Model checking, Algorithm and Deadlock are his primary areas of study.
A. W. Roscoe does research in Theoretical computer science, focusing on Process calculus specifically.
In general Programming language, his work in Communicating sequential processes and Solidity is often linked to TRACE linking many areas of study.
His research integrates issues of Representation and Bounded function in his study of Model checking.
His study in Algorithm is interdisciplinary in nature, drawing from both Construct, Supercomputer, Cloud computing and Divergence.
His work deals with themes such as Metadata, Series and Reachability, which intersect with Deadlock.
Between 2011 and 2021, his most popular works were:
- FDR3 — A Modern Refinement Checker for CSP (139 citations)
- FDR3: a parallel refinement checker for CSP (25 citations)
- Recent developments in FDR (18 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Algorithm
- Algebra
The scientist’s investigation covers issues in Theoretical computer science, Model checking, Algorithm, Process calculus and Programming language.
The Theoretical computer science study combines topics in areas such as Cryptographic hash function, Hash chain, Deadlock analysis, Range and Deadlock.
His studies deal with areas such as Bounded function and Static analysis as well as Model checking.
His Bounded function research incorporates themes from Operational semantics, Communicating sequential processes, Development and Concurrency.
His work carried out in the field of Process calculus brings together such families of science as Compiler and Scale.
His Programming language research is multidisciplinary, incorporating perspectives in Time complexity and Metadata.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
