Theoretical Computer Science – TCS

The TCS group works on the foundations of efficient and correct algorithms and software, and it deals with the tractability of computational problems. Applications areas include software engineering, computer security and privacy, cryptography, verification and sat solving, natural language tools, and computer science education.

Selected News

Current Seminars and Events


  • Theory Reading Group on Understanding conflict-driven SAT solving through the lens of proof complexity by Jakob Nordström
    on 20 Nov 2017 at 12:00 in 4523
    more information

  • TCS Seminar on Machines that read and reason: Multi-hop reading comprehension across documents by Pontus Stenetorp, Senior Research Associate at University College
    on 24 Nov 2017 at 11:15 in Seminar room 4523, Lindstedtsvägen 5, level 5
    more information

  • TCS Seminar on Model Checking Strategic Ability: Why, What, and Especially: How? by Wojtek Jamroga
    on 05 Dec 2017 at 15:15 in room 4523
    more information

Top page top