John Brunner
AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science (2003 Baltimore, Md.)
Shannon Davis
