[marvy]

It would have been under "Theoretical Computer Science" but that section is a stub because it actually got broken out into its own article.