What is he best known for?
The fields of study he is best known for:
- Computer network
- Operating system
- The Internet
His scientific interests lie mostly in Computer network, Distributed computing, Routing protocol, Router and Dynamic Source Routing.
OpenFlow, Border Gateway Protocol, Default-free zone and Network management are the core of his Computer network study.
Matthew Caesar combines subjects such as Data center, Network topology, Network congestion and Scheduling with his study of Distributed computing.
His studies in IP forwarding and Hierarchical routing are all subfields of Routing protocol research.
As a part of the same scientific study, Matthew Caesar usually deals with the Router, concentrating on Convergence and frequently concerns with Routing.
His Dynamic Source Routing research is multidisciplinary, incorporating elements of Link-state routing protocol and Static routing.
His most cited work include:
- Design and implementation of a routing control platform (474 citations)
- VeriFlow: verifying network-wide invariants in real time (396 citations)
- Finishing flows quickly with preemptive scheduling (385 citations)
What are the main themes of his work throughout his whole career to date?
Matthew Caesar spends much of his time researching Computer network, Distributed computing, Computer security, Scalability and The Internet.
His is involved in several facets of Computer network study, as is seen by his studies on Routing protocol, Static routing, Router, Network packet and Network architecture.
His work in the fields of IP forwarding, Hierarchical routing, Border Gateway Protocol and Multipath routing overlaps with other areas such as Wireless network.
In his work, Link-state routing protocol is strongly intertwined with Dynamic Source Routing, which is a subfield of Static routing.
His work carried out in the field of Distributed computing brings together such families of science as Routing, Convergence, Model checking, Protocol and Cloud computing.
In his study, Linux kernel, Timekeeper and Debugging is strongly linked to Software, which falls under the umbrella field of The Internet.
He most often published in these fields:
- Computer network (48.28%)
- Distributed computing (40.52%)
- Computer security (18.10%)
What were the highlights of his more recent work (between 2016-2021)?
- Distributed computing (40.52%)
- Model checking (8.62%)
- Scalability (20.69%)
In recent papers he was focusing on the following fields of study:
Matthew Caesar mainly focuses on Distributed computing, Model checking, Scalability, Protocol and State.
He connects Distributed computing with Component-based software engineering in his study.
His Model checking study incorporates themes from Liveness, Key, Overhead and Risk analysis.
His Protocol study deals with Speedup intersecting with Header and Software deployment.
The State study combines topics in areas such as Forwarding plane, Field and Theoretical computer science, Transition system.
Matthew Caesar has researched Correctness in several fields, including Network management, Layer and Matching.
Between 2016 and 2021, his most popular works were:
- Mining on Someone Else’s Dime: Mitigating Covert Mining Operations in Clouds and Enterprises (36 citations)
- Plankton: Scalable network configuration verification through model checking (12 citations)
- Plankton: Scalable network configuration verification through model checking (12 citations)
In his most recent research, the most cited papers focused on:
- Computer network
- Operating system
- The Internet
His primary scientific interests are in Protocol, State, Distributed computing, Internet privacy and Speedup.
His Protocol study integrates concerns from other disciplines, such as Correctness, Field, Dynamic data and Transition system.
His State research is multidisciplinary, incorporating perspectives in Forwarding plane and Theoretical computer science.
The concepts of his Internet privacy study are interwoven with issues in Computer security, Cryptocurrency and Cloud computing.
His study in Speedup is interdisciplinary in nature, drawing from both Partial order reduction, Model checking, Scalability and Header.
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.
