Conversation so far:
What was In the Heights?
musical.
When did it open?
opening in March 2008.
Did it win any awards?
It was nominated for 13 Tony Awards, winning four.
Did Miranda win any awards?
Miranda's performance in the leading role of Usnavi earned him a nomination for the Tony Award for Best Actor.
How long was he in the musical?
Miranda left the cast of the Broadway production on February 15, 2009.
What did he do after  he left?
Miranda reprised the role when the national tour of In the Heights played in Los Angeles from June 23 to July 25, 2010.
Did he do anything apart from the musical?
Miranda created other work for the stage during this period.
What was a title?
Broadway revival of West Side Story.
What did he do in the musical?
worked with Stephen Sondheim to translate into Spanish song lyrics.

Question: Did  he work in any other productions?
Self-contained rewrite: Other than Broadway production,did  miranda work in any other productions?