What is he best known for?
The fields of study he is best known for:
- Programming language
- Algebra
- Mathematical logic
His primary areas of investigation include Theoretical computer science, Cryptographic protocol, Lambda calculus, Algebra and Probabilistic logic.
Andre Scedrov has included themes like Cryptography, Cryptographic nonce, Protocol analysis, Notation and Existential quantification in his Theoretical computer science study.
His Lambda calculus research incorporates themes from Commutative property and Parametric polymorphism.
His work is dedicated to discovering how Commutative property, Intuitionistic logic are connected with Linear logic and other disciplines.
His Algebra study combines topics in areas such as Zeroth-order logic and Autoepistemic logic.
His Probabilistic logic research focuses on subjects like Process calculus, which are linked to Calculus and Time complexity.
His most cited work include:
- Uniform proofs as a foundation for logic programming (554 citations)
- A meta-notation for protocol analysis (243 citations)
- A probabilistic poly-time framework for protocol analysis (210 citations)
What are the main themes of his work throughout his whole career to date?
Andre Scedrov mainly investigates Theoretical computer science, Computer security, Discrete mathematics, Cryptographic protocol and Linear logic.
His Theoretical computer science study combines topics from a wide range of disciplines, such as Rewriting, Probabilistic logic and Cryptography.
His Probabilistic logic research integrates issues from Equivalence and Observational equivalence.
His study looks at the relationship between Cryptography and topics such as Encryption, which overlap with Soundness.
His Computer security research focuses on Protocol and how it connects with Adversary.
His Linear logic study is concerned with Algebra in general.
He most often published in these fields:
- Theoretical computer science (31.58%)
- Computer security (15.79%)
- Discrete mathematics (15.79%)
What were the highlights of his more recent work (between 2016-2021)?
- Calculus (17.70%)
- Decidability (11.48%)
- Cryptographic protocol (17.70%)
In recent papers he was focusing on the following fields of study:
His main research concerns Calculus, Decidability, Cryptographic protocol, Theoretical computer science and Categorial grammar.
His biological study spans a wide range of topics, including Bracket and Conjunction.
Andre Scedrov combines subjects such as Commutative property, Proof theory, Cryptography, Linear logic and Extension with his study of Decidability.
Cryptographic protocol is a subfield of Computer security that Andre Scedrov studies.
His Theoretical computer science research is multidisciplinary, relying on both Security analysis and Gas meter prover.
His Rewriting study necessitates a more in-depth grasp of Programming language.
Between 2016 and 2021, his most popular works were:
- Subexponentials in non-commutative linear logic (44 citations)
- Automated Analysis of Cryptographic Assumptions in Generic Group Models (32 citations)
- A Rewriting Framework and Logic for Activities Subject to Regulations (12 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Algebra
- Algorithm
Decidability, Rewriting, Linear logic, Calculus and Theoretical computer science are his primary areas of study.
The concepts of his Decidability study are interwoven with issues in Structure, Fragment, Homomorphism and Completeness.
The Rewriting study combines topics in areas such as Cryptographic protocol, Reachability problem, Access control, Probabilistic logic and Algorithm.
His studies deal with areas such as Commutative property, Programming language, Proof theory and Contraction as well as Linear logic.
His research integrates issues of Bracket, Formalism, Extension, Syntax and Natural language in his study of Calculus.
The various areas that Andre Scedrov examines in his Theoretical computer science study include Computational complexity theory and Probabilistic analysis of algorithms.
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.
