This course will explore philosophical and formal modeling approaches to understanding the nature of justice and its applications.