I am a lecturer in the School of Computing and Communications in Lancaster University in the UK.

Recent News

Research

My research has introduced the following novel ideas.

Currently, I am building practical languages and tools based on social expectations.

My work carries forward a distinguished line of thought originating in multiagent systems research that emphasizes high-level abstractions for modeling interactions among autonomous parties.

Teaching

I teach on the following modules:

Administrative Roles

I am undergraduate admissions tutor and seminar series organizer.

Professional Service

I have given the following tutorials at conferences and other venues

Biography

A somewhat outdated CV.

A couple of pictures: In Trento in 2009, shortly after finishing my PhD, and at CAISE 2010 in Hammamet

Publications (Google Scholar DBLP)

[1] Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, and Munindar P. Singh. Composing and verifying commitment-based multiagent protocols. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, July 2015. To appear. [ bib | .pdf ]
[2] Amit K. Chopra and Munindar P. Singh. Generalized commitment alignment. In Proceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, May 2015. In press. [ bib | .pdf ]
[3] Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, and Munindar P. Singh. Social contexts and social pragmatics. In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Istanbul, May 2015. In press. [ bib | .pdf ]
[4] Amit K. Chopra and Munindar P. Singh. Cupid: Commitments in relational algebra. In Proceedings of the AAAI, pages 2052-2059, January 2015. [ bib | .pdf ]
[5] Amit K. Chopra, Fabiano Dalpiaz, Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos, and Munindar P. Singh. Protos: Foundations for engineering innovative sociotechnical systems. In Proceedings of the 18th IEEE International Requirements Engineering Conference, pages 53-62, 2014. [ bib | .pdf ]
[6] Amit K. Chopra and Munindar P. Singh. The thing itself speaks: Accountability as a foundation for requirements in sociotechnical systems. In Proceedings of the 7th International Workshop on Requirements Engineering and Law, page 22. IEEE, 2014. Full paper accepted but we published only an extended abstract. Full paper available here. [ bib | .pdf ]
[7] Elda Paja, Amit K. Chopra, and Paolo Giorgini. Trust-based specification of sociotechnical systems. Data and Knowledge Engineering, 87:339-353, September 2013. [ bib | .pdf ]
[8] Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Marco Colombetti, Frank Dignum, Nicoletta Fornara, Andrew J. I. Jones, Munindar P. Singh, and Pinar Yolum. Research directions in agent commmunication. ACM Transactions on Intelligent Systems and Technologies, 4(2):20:1-20:23, 2013. [ bib | .pdf ]
[9] Pablo Noriega, Amit K. Chopra, Nicoletta Fornara, Henrique Lopes Cardoso, and Munindar P. Singh. Regulated MAS: Social perspective. In Normative Multi-Agent Systems, volume 4 of Dagstuhl Follow-Ups, pages 93-133. Schloss Dagstuhl, 2013. [ bib | .pdf ]
[10] Munindar P. Singh, Matthew Arrott, Tina Balke, Amit K. Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krüger, Ho-Pun Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen, and Serena Villata. The uses of norms. In Normative Multi-Agent Systems, volume 4 of Dagstuhl Follow-Ups, pages 191-229. Schloss Dagstuhl, 2013. [ bib | .pdf ]
[11] Amit K. Chopra and Munindar P. Singh. Interaction-oriented software engineering: Concepts and principles. arXiv:1211.4123 [cs.SE], November 2012. [ bib | http ]
[12] Amit K. Chopra. The meaning of requirements and adaptation. arXiv:1209.1551v1 [cs.SE], 2012. [ bib | http ]
[13] Amit K. Chopra. True peer review. arXiv:1209.2807v1 [cs.DL], 2012. [ bib | http ]
[14] Elisa Marengo, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Viviana Patti, and Munindar P. Singh. Commitment with regulations: Reasoning about safety and control in REGULA. In Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 467-474, 2011. [ bib | .pdf ]
[15] Amit K. Chopra and Munindar P. Singh. Specifying and applying commitment-based business patterns. In Proceedings of the 10th International Conference on Autonomous Agents and MultiAgent Systems, pages 475-482, 2011. [ bib | .pdf ]
[16] Amit K. Chopra and Munindar P. Singh. The evolution of interoperability. In Proceedings of 9th International Workshop on Declarative Agent Languages and Technologies, volume 7169 of LNCS, pages 90-94. Springer, 2011. [ bib | .pdf ]
[17] Amit K. Chopra, Elda Paja, and Paolo Giorgini. Socio-Technical trust: An architectural approach. In Proceedings of the 30th International Conference on Conceptual Modeling (ER), volume 6998 of LNCS, pages 104-117. Springer, 2011. [ bib | .pdf ]
[18] Amit K. Chopra. Requirements-driven adaptation: Compliance, context, uncertainty, and systems. In Proceedings of the 2nd International Workshop on Requirements at Runtime, pages 32-36. IEEE, 2011. [ bib | .pdf ]
[19] Amit K. Chopra and Munindar P. Singh. Colaba: Collaborative design of cross-organizational business processes. In Proceedings of the Workshop on Requirements Engineering for Systems, Services, and Systems of Systems, pages 36-43. IEEE, 2011. [ bib | .pdf ]
[20] Amit K. Chopra. Social computing: Principles, platforms, and applications. In Proceedings of the 1st Workshop on Requirements Engineering for Social Computing, pages 26-29. IEEE, 2011. [ bib | .pdf ]
[21] Amit K. Chopra and Paolo Giorgini. Requirements engineering for social applications. In Proceedings of the 5th International i* Workshop, volume 766 of CEUR Workshop Proceedings. CEUR-WS.org, 2011. 138-143. [ bib | .pdf ]
[22] Amit K. Chopra, Nir Oren, Sanjay Modgil, Nirmit Desai, Simon Miles, Michael Luck, and Munindar P. Singh. Analyzing contract robustness through a model of commitments. In Proceedings of the 11th International Workshop on Agent-Oriented Software Engineering, volume 6788 of LNCS, pages 17-36. Springer, 2010. Invited paper. [ bib | .pdf ]
[23] Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, and John Mylopoulos. Reasoning about agents and protocols via goals and commitments. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 457-464, 2010. [ bib | .pdf ]
[24] Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, and John Mylopoulos. Modeling and reasoning about service-oriented applications via goals and commitments. In Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE), volume 6051 of LNCS, pages 113-128. Springer, 2010. [ bib | .pdf ]
[25] Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, and John Mylopoulos. Adaptation in open systems: Giving interaction its rightful place. In Proceedings of the 29th International Conference on Conceptual Modeling, volume 6412 of LNCS, pages 31-45. Springer, 2010. [ bib | .pdf ]
[26] Raian Ali, Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos, and Vitor E. Silva Souza. The evolution of Tropos: Contexts, commitments and adaptivity. In In Proceedings of the 4th International iStar Workshop, volume 586 of CEUR-WS, pages 15-19, 2010. [ bib | .pdf ]
[27] Nirmit Desai, Amit K. Chopra, and Munindar P. Singh. Amoeba: A methodology for modeling and evolution of cross-organizational business processes. ACM Transactions on Software Engineering and Methodology, 19(2):6:1-6:45, 2009. [ bib | .pdf ]
[28] Munindar P. Singh, Amit K. Chopra, and Nirmit Desai. Commitment-based service-oriented architecture. IEEE Computer, 42(11):72-79, 2009. [ bib | .pdf ]
[29] Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Nirmit Desai, Viviana Patti, and Munindar P. Singh. Choice, interoperability, and conformance in interaction protocols and service choreographies. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, pages 843-850, Budapest, 2009. IFAAMAS. [ bib | .pdf ]
[30] Amit K. Chopra and Munindar P. Singh. Multiagent commitment alignment. In Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems, pages 937-944. IFAAMAS, 2009. [ bib | .pdf ]
[31] Amit K. Chopra and Munindar P. Singh. Elements of a business-level architecture for multiagent systems. In Proceedings of the 7th International Workshop on Programming Multi-Agent Systems, volume 5919 of LNCS, pages 15-30. Springer, 2009. [ bib | .pdf ]
[32] Munindar P. Singh and Amit K. Chopra. Correctness properties for multiagent systems. In Proceedings of the Sixth Workshop on Declarative Agent Languages and Technologies, volume 5948 of LNCS, pages 192-207. Springer, 2009. [ bib | .pdf ]
[33] Munindar P. Singh and Amit K. Chopra. Programming multiagent systems without programming agents. In Proceedings of the 7th International Workshop on Programming Multiagent Systems, (ProMAS 2009), pages 1-14, 2009. invited paper. [ bib | .pdf ]
[34] Amit K. Chopra and Munindar P. Singh. Constitutive interoperability. In Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems, pages 797-804, 2008. [ bib | .pdf ]
[35] Amit K. Chopra. Commitment alignment: Semantics, Patterns, and Decision Procedures for Distributed Computing. PhD thesis, North Carolina State University, Raleigh, NC, 2008. [ bib | .pdf ]
[36] Nirmit Desai, Amit K. Chopra, Matthew Arrott, Bill Specht, and Munindar P. Singh. Engineering foreign exchange processes via commitment protocols. In Proceedings of the 4th IEEE International Conference on Services Computing, pages 514-521, Los Alamitos, 2007. IEEE Computer Society Press. [ bib | .pdf ]
[37] Nirmit Desai, Amit K. Chopra, and Munindar P. Singh. Representing and reasoning about commitments in business processes. In Proceedings of the 22nd Conference on Artificial Intelligence, pages 1328-1333, 2007. [ bib | .pdf ]
[38] Amit K. Chopra and Munindar P. Singh. Interoperation in protocol enactment. In 5th International Workshop on Declarative Agent Languages and Technologies, volume 4897 of LNCS, pages 36-49. Springer, 2007. [ bib | .pdf ]
[39] Amit K. Chopra and Munindar P. Singh. Choice and interoperation in protocol enactment. In Proceedings of the 6th International Conference on Autonomous Agents and Multiagent Systems, page 29, 2007. [ bib ]
[40] Nirmit Desai, Amit K. Chopra, and Munindar P. Singh. Business process adaptations via protocols. In Proceedings of the IEEE International Conference on Services Computing, pages 103-110, 2006. [ bib | .pdf ]
[41] Amit K. Chopra and Munindar P. Singh. Producing compliant interactions: Conformance, coverage, and interoperability. In 4th International Workshop on Declarative Agent Languages and Technologies, volume 4327 of LNCS, pages 1-15. Springer, 2006. [ bib | .pdf ]
[42] Amit K. Chopra and Munindar P. Singh. Contextualizing commitment protocols. In Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems, pages 1345-1352, 2006. [ bib | .pdf ]
[43] Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, and Munindar P. Singh. Interaction protocols as design abstractions for business processes. IEEE Transactions on Software Engineering, 31(12):1015-1027, December 2005. [ bib | .pdf ]
[44] Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, and Munindar P. Singh. OWL-P: A methodology for business process development. In 7th International Workshop on Agent-Oriented Information Systems, volume 3529 of LNCS, pages 79-94. Springer, 2005. [ bib | .pdf ]
[45] Munindar P. Singh, Amit K. Chopra, Nirmit Desai, and Ashok U. Mallya. Protocols for processes: Programming in the large for open systems. ACM SIGPLAN Notices, 39(12):73-83, December 2004. [ bib | .pdf ]
[46] Amit Chopra and Munindar P. Singh. Nonmonotonic commitment machines. In Frank Dignum, editor, Proceedings of the 2003 AAMAS Workshop on Agent Communication Languages, volume 2922 of LNAI, pages 183-200. Springer, 2003. [ bib | .pdf ]

Contact

Amit K. Chopra
Email: a.chopra1 AT lancaster DOT ac DOT uk
Address: School of Computing and Communications
InfoLab21, Room C53
Lancaster University
Lancaster LA1 4WA
United Kingdom
Office phone: (+44) 1524 510427