Skip to main content

Multiagent Foundations for Distributed Systems

Seminar by Amit Chopra (Lancaster University)

  • Date 09 Jun 2021
  • Time 3.00pm-4.00pm
  • Category Seminar

Multiagent Foundations for Distributed Systems

Abstract: Early works and retrospectives by the researchers who founded the network protocols underlying current distributed systems indicate they were aware of the importance of capturing application meaning but didn't know how to handle it programmatically.  Therefore, those  researchers introduced simplifications in the protocols that violated their own principle of the end-to-end argument in systems design.
The thesis underlying this talk is the following.  First, the above-mentioned simplifications, especially the reliance on reliable, ordered communication protocols such as TCP have run their course.  Modern applications demand flexibility that can only be achieved through modeling application meaning, and many applications (such as those based on the Internet of Things) cannot pay TCP's overhead.  Second, the multiagent systems community has developed alternative meaning-based approaches that can provide a new foundation for distributed computing at large. To support the thesis, I will demonstrate how modeling applications via information protocols enables realizing them over a transport as simple as UDP!
Biography: Amit Chopra is a Senior Lecturer at Lancaster University. He is interested in the software engineering of sociotechnical systems, including modeling, verification, and programming.  Amit's work is founded upon representations of interaction between autonomous parties, via abstractions such as contracts, norms, accountability, and protocols. His work on contracts for distributed ledgers was adopted by a startup.  Lately, Amit's efforts have primarily been directed toward interaction-based programming models that help developers create robust distributed applications easily, including on IoT and serverless platforms. Amit's recent work has been funded by the EPSRC.

Related topics

Explore Royal Holloway

Get help paying for your studies at Royal Holloway through a range of scholarships and bursaries.

There are lots of exciting ways to get involved at Royal Holloway. Discover new interests and enjoy existing ones.

Heading to university is exciting. Finding the right place to live will get you off to a good start.

Whether you need support with your health or practical advice on budgeting or finding part-time work, we can help.

Discover more about our 21 departments and schools.

Find out why Royal Holloway is in the top 25% of UK universities for research rated ‘world-leading’ or ‘internationally excellent’.

Royal Holloway is a research intensive university and our academics collaborate across disciplines to achieve excellence.

Discover world-class research at Royal Holloway.

Discover more about who we are today, and our vision for the future.

Royal Holloway began as two pioneering colleges for the education of women in the 19th century, and their spirit lives on today.

We’ve played a role in thousands of careers, some of them particularly remarkable.

Find about our decision-making processes and the people who lead and manage Royal Holloway today.