Arjun Guha

Associate Professor

Arjun Guha
  • Programming languages
  • PhD in Computer Science, Brown University
  • BA in Computer Science, Grinnell College

Arjun Guha is an associate professor in the Khoury College of Computer Sciences at Northeastern University, based in Boston.

Using the tools and techniques of programming languages, Guha researches security and reliability problems in web programming, systems, and robotics. For example, one recent project aims to make serverless computing more cost-effective, reliable, and applicable. Guha is a member of the Programming Research Laboratory.

Prior to joining Northeastern, Guha was an associate professor at the University of Massachusetts Amherst and a postdoctoral research associate at Cornell University. His work has received several awards, including an OOPSLA Most Influential Paper Award, a PLDI Distinguished Paper Award, and a PACT Best Paper Award.

In his free time, Guha enjoys running, cooking, and reading.

  • Formal Foundations of Serverless Computing

    Citation: Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha. Formal Foundations of Serverless Computing. ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2019. Distinguished Paper Award

  • Interactive Robot Transition Repair With SMT

    Citation: Jarrett Holtz, Arjun Guha, and Joydeep Biswas. Interactive Robot Transition Repair with SMT. International Joint Conference on Artificial Intelligence and the European Conference on Artificial Intelligence (IJCAI-ECAI), 2018

  • Rehearsal: A Configuration Verification Tool for Puppet

    Citation: Rian Shambaugh, Aaron Weiss, and Arjun Guha. Rehearsal: A Configuration Verification Tool for Puppet. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2016

Related News

Explore all news

Current PhD Students