Skip to content


This Blog was started by the researchers in theoretical computer science at Microsoft Research Silicon Valley center (MSR-SVC). The first blog post was posted by Omer Reingold on Feb 14, 2012. The blog’s founders later invited other theoretical CS researchers at MSR, including Boaz Barak (then at MSR New England) to join. Despite its many contributions to the scientific field of computer science and to Microsoft’s businesses, Microsoft Research SVC was closed down on September 18, 2014.  Since then, the scientists at MSR-SVC have gone on to many other places, continuing to do great work and advance the state of art of our field. These days, this blog is largely maintained by Boaz, though he is always on the lookout for guest posts on theoretical CS topics.


Below is the original “about page” of the Windows on Theory blog:

We offer this group blog as a forum for exchanging ideas and debating topics of interest to the Theory of Computing (TOC) community (otherwise known as TCS -Theoretical Computer Science). Over the years, TOC has been very successful and not surprisingly it has widened, it has deepened, it has grown! Traditional conferences, while still extremely important, now seem insufficient to keep us as one community (a goal which is still just as vital to our success as a field). Theory blogs, like ours, can be therefore viewed as a new kind of conference and its business meeting. We suspect that a blog run by a diverse group would be particularly suited for the task.

Comments on this blog are most welcomed! We encourage commenters to use their real identity. While anonymous comments are currently allowed, we will apply a stricter standard in moderating them.

4 Comments leave one →
  1. April 5, 2012 6:22 am

    A very good blog for guys passionate about TOC. Can you include some discussions/posts on P and NP Completeness theories? 🙂

    • omereingold permalink
      April 5, 2012 7:03 am

      Thanks! With time, we might just do that … 🙂

  2. Tim permalink
    May 13, 2019 4:28 am

    Hi, I just wanted to say the image links in this article are dead:
    Can be found at:
    I looked for more appropriate contact details but couldn’t find any.


  1. Microsoft Closes SVC | Gödel's Lost Letter and P=NP

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: