University of Michigan. Logic of Computers Group