From security and cryptography, to algorithms and programming languages, to formal methods and theoretical computer science, U-M is expanding and strengthening the scope of its research activities in computer science and engineering. Meet the new arrivals in the full article.
