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

Seminars

  • Theory Reading Group on Ill-formedness for automatic program repair by Martin Monperrus
    on 05 Oct 2017 at 12:00 in 4523, Lindstedtsvägen 5
    more information

  • Theory Reading Group on Ill-formedness for automatic program repair by Martin Monperrus
    on 05 Oct 2017 at 12:00 in 4523, Lindstedtsvägen 5
    more information

  • TCS Seminar on Formal goal-oriented development of adaptable and resilient systems by Elena Troubitsyna
    on 10 Oct 2017 at 13:15 in room 4618
    more information

  • Dissertation on Secure System Virtualization: End-to-End Verification of Memory Isolation by Hamed Nemati
    on 20 Oct 2017 at 14:00 in Kollegiesalen, Brinellvägen 8, KTH Campus
    more information

Top page top