Theoretical Computer Science Group at UIC