Multi-agent Environments
How autonomous agents coordinate, compete, and behave at scale.
Research at the intersection of machine learning, game theory, and formal verification, covering privacy, fairness, AI policy, multi-agent verification, and strategic behavior of learning systems.
Labs in Multi-agent Environments
Hope Lab, Dr. Tom Hope
Develops LLM-based agents for scientific discovery, medical diagnosis, and psychiatric applications. Also a research scientist at the Allen Institute for AI (Ai2).
Lab Website ↗
Ligett Lab, Prof. Katrina Ligett
Researches the intersection of machine learning, privacy, and fairness, including theoretical foundations of differential privacy and AI regulation, bridging algorithmic research with AI policy.
Lab Website ↗
Kupferman Lab, Prof. Orna Kupferman
Develops formal methods for multi-agent system verification, synthesis, and game-theoretic analysis, using logic-based approaches to reason about autonomous systems and AI safety.
Lab Website ↗
Learning in Markets and Games, Prof. Noam Nisan
What happens when learning agents participate in strategic scenarios? Research at the intersection of machine learning, game theory, and market design.
Lab Website ↗