Yep, that's it! I'm just blown away by this book (and
The Three Body Problem), and really looking forward to the next one in the trilogy.
Along the same technical lines, have you read A Deepness in the Sky, by Vernor Vinge? I love the idea of "programmer-archeologist" on a 5000 year old spaceship.