Conversation so far:
What was In the Heights?
In the Heights is a musical with music and lyrics by Lin-Manuel Miranda and a book by Quiara Alegría Hudes.
When did In the Heights open?
After a 2005 tryout in Waterford, Connecticut and a 2007 Off-Broadway run, In the Heights opened on Broadway in March 2008.
Did In the Heights win any awards?
In the Heights was nominated for thirteen Tony Awards and won four, including the 2008 Best Musical, Best Original Score, and Best Choreography awards.
Did Lin-Manuel Miranda win any awards?
Lin-Manuel Miranda awards include a Pulitzer Prize, three Tony Awards, three Grammy Awards, an Emmy Award, a MacArthur Fellowship, and a Kennedy Center Honor in 2018.
How long was Lin-Manuel Miranda in the musical In the Heights?
Lin-Manuel Miranda was in In the Heights from 2002 to 2011.

Question: What did he do after he left?
Self-contained rewrite: What did Lin-Manuel Miranda do after he left In the Heights?