Date Range
Date Range
Date Range
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.
Is It Safe to Buy Apple Yet? February 9, 2013. Fair weather friends are gone and the true believers remain.
Is marked private by its owner. If you were invited to view this site, please log in. Below Read more about privacy settings. Larr; Back to WordPress.