circular law (proof for Ginibre case; a bit of history and problems and ideas in the general case); several independent GUEs (the problem of non-commutativity)