Students in the M.S. Computer Science degree programs may choose one of 11 specializations. For more information, please consult this list of specializations and core courses: ...

Joel David Hamkins is not a peripheral critic of artificial intelligence. He is a senior figure in mathematical logic whose ...

Abstract: Federated Learning (FL) is widely used in various industries because it effectively addresses the predicament of isolated data island. However, eavesdroppers is capable of inferring user ...

Abstract: The capacity of a channel can usually be characterized as a maximization of certain entropic quantities. From a practical point of view it is of crucial interest to not only compute the ...

The course gives an introduction to basic computability theory. This theory can be regarded as a systematic mathematical theory of algorithms and computations. familiar with a number of basic concept ...