The Department of Computer Science is the leading Finnish unit in its field. It is responsible for teaching and research in computer science at the University of Helsinki. The teachers and researchers ...

AI can help theoretical computer scientists search for algorithms, proof components, and combinatorial structures. Here’s what recent results show—and why verification still matters.