My main interests are distributed systems design, specifically as it relates to ethical requirement elicitation, formal methods and applied ethics.