Aravind Krishna Joshi is a computer scientist and professor at the University of Pennsylvania. He is known for his research in formal languages, automata theory, and natural language processing. He received his PhD in Computer Science from MIT in 1964.