Division of Theoretical Computer Science
The Division of Theoretical Computer Science (TCS) 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
Research areas
Meet the division
News

Taking Humour Seriously in Graduate Training
For nearly two decades, Benoit Baudry (Université de Montréal) and Martin Monperrus (KTH Royal Institute of Technology) have supervised master’s and PhD students. Along the way, they’ve drawn a perhap...
Read the article
AI fixes security flaws – KTH wins prestigious award
Can AI fix security flaws before hackers strike? KTH researchers say yes—and their breakthrough won the Best Paper Award 2023 from IEEE Transactions on Software Engineering. By using AI to automate se...
Read the article
How to stop cyber-attacks with honeypots
In the ever-evolving landscape of cyber warfare, defending against human-controlled cyberattacks requires innovative strategies. A recent study conducted by students at KTH delves into the realm of cy...
Read the articleCalendar
No up-to-date calendar events right now.