Sed sagittis, elit egestas rutrum vehicula, neque dolor fringilla lacus, ut rhoncus turpis augue vitae libero. Nam risus velit, rhoncus eget consectetur id, posuere at ligula. Vivamus imperdiet diam ac tortor tempus posuere. Curabitur at arcu id turpis posuere bibendum. Sed commodo mauris eget diam pretium cursus.

Or at the very least, enjoy catchy taglines.

Since September 2014, I am a postdoctoral researcher in the Reactive Systems. I am leading a DFG project on Automatic Synthesis of Distributed and Parameterized Systems, and have an open PhD position. Write me if you are interested in joining the Reactive Systems group. I am co-organizing the Synthesis Competition. I am a PC Member of SSS 2015.

Friday, May 1, 2009. aka the dog, peeking around Abby to make sure she is taking good care of her baby. Uncle Adam and his girls. Monday, March 30, 2009. I did manage to get some good ones of him, I think.

Now that a suitable time has passed after the election of 2012, all of punditry will be focusing on 2016. There is much to be discussed. Ohio was the big enchilada this time. Republicans like to think this was a one-off, influenced by the auto bailout.