The speed scaling problem has been widely studied in the literature, where there is a single server or a parallel bank of servers with variable speed.

Consider a 2-player game defined as follows. A referee sends a pair of questions x and y to two players Alice and Bob and accepts if their answers a and b satisfy some predicate.

Abstract: Broadcast channels model the downlink in a wireless network, i.e., the link from a base station transmitter to several receivers. The broadcast channel model was proposed by Tom Cover in 1972.

Abstract: Concurrent software is everywhere. Ensuring reliability of concurrent software is a daunting task. In this talk, I will present the basics of verification, what is so hard about concurrency, and recent efforts to tame the problem.