Laboratory for Software Science

Home

Software science explores the mathematical and technological foundation of programming. It develops the theories, languages and tools needed to build reliable software systems. The ultimate goal of software science is to reduce programming-induced gratuitous suffering: By grounding software development on a solid mathematical foundation, harmful software bugs and security vulnerabilities are eliminated.

The Laboratory for Software Science at the University of Tartu was founded to consolidate research in this critical area at the core of computer science. Our lab is particularly concerned with developing methods to verify system properties via type systems, category theory, and formally sound program analysis techniques.