[SIGCIS-Members] Question related to theoretical computer science