What is he best known for?
The fields of study he is best known for:
- Artificial intelligence
- Algorithm
- Programming language
Toby Walsh mostly deals with Mathematical optimization, Artificial intelligence, Algorithm, Constraint satisfaction and Constraint satisfaction problem.
His Mathematical optimization research is multidisciplinary, incorporating elements of Computational complexity theory, Graph, Local consistency and Conjecture.
His biological study spans a wide range of topics, including Discrete mathematics and Backtracking.
Toby Walsh combines subjects such as Programming language, Voting, Heuristics and True quantified Boolean formula with his study of Artificial intelligence.
His study in the field of Satisfiability, Unit propagation and Iterative deepening depth-first search is also linked to topics like Branching.
Toby Walsh has researched Constraint satisfaction in several fields, including Measure and Constraint programming.
His most cited work include:
- Handbook of Constraint Programming (1017 citations)
- Handbook of satisfiability (505 citations)
- A theory of abstraction (293 citations)
What are the main themes of his work throughout his whole career to date?
His scientific interests lie mostly in Mathematical optimization, Theoretical computer science, Algorithm, Artificial intelligence and Local consistency.
His Mathematical optimization research incorporates themes from Constraint programming, Consistency, Constraint satisfaction dual problem, Constraint satisfaction and Constraint satisfaction problem.
His studies in Theoretical computer science integrate themes in fields like Computational complexity theory, Simple, Voting and Set.
The study incorporates disciplines such as Social choice theory and Mathematical economics in addition to Voting.
His Time complexity, Satisfiability and Boolean satisfiability problem study are his primary interests in Algorithm.
Much of his study explores Artificial intelligence relationship to Machine learning.
He most often published in these fields:
- Mathematical optimization (26.86%)
- Theoretical computer science (18.02%)
- Algorithm (17.14%)
What were the highlights of his more recent work (between 2014-2021)?
- Fair division (7.07%)
- Mathematical optimization (26.86%)
- Mathematical economics (9.89%)
In recent papers he was focusing on the following fields of study:
His main research concerns Fair division, Mathematical optimization, Mathematical economics, Artificial intelligence and Operations research.
His Fair division research includes themes of Computational complexity theory, Simple, Competitive analysis and Data science.
His research integrates issues of Time complexity, Outcome and Total cost in his study of Mathematical optimization.
His Time complexity research incorporates elements of Assignment problem and Theoretical computer science.
His work in Artificial intelligence is not limited to one particular discipline; it also encompasses Marketing.
His research in Operations research intersects with topics in Scheduling and Voting.
Between 2014 and 2021, his most popular works were:
- Justified representation in approval-based committee voting (101 citations)
- Computational Aspects of Multi-Winner Approval Voting (88 citations)
- Verifying Properties of Binarized Deep Neural Networks. (64 citations)
In his most recent research, the most cited papers focused on:
- Artificial intelligence
- Algorithm
- Programming language
His primary areas of investigation include Mathematical economics, Artificial intelligence, Fair division, Mathematical optimization and Theoretical computer science.
His work deals with themes such as Impossibility, Anti-plurality voting, Axiom and Voting, which intersect with Mathematical economics.
He combines topics linked to Boolean satisfiability problem with his work on Artificial intelligence.
He focuses mostly in the field of Fair division, narrowing it down to topics relating to Competitive analysis and, in certain cases, Price of anarchy, Simple, Online model and Advice.
The various areas that Toby Walsh examines in his Mathematical optimization study include Computational complexity theory, Stability, Resource allocation and Reduction.
He combines subjects such as Small number, Time complexity, Structure, Control and Constraint learning with his study of Theoretical computer science.
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.
