Today is my last day in Bahrain. I shall fly back to Dubai in the morning, insha Allah. The project in Bahrain has had a very profound impact on me. I and my team worked for 12 to 18 hours a day for two months -- I now need to figure out ways to ensure that the story doesn't get repeated in future. At the same time, I feel glad that I'll get a chance to go back to Pakistan on Eid and be with my parents and brothers.
In a different part of the world, Philipp Ruemmer single handedly finished the paper, "Proving Programs Incorrect using a Sequent Calculus for Java Dynamic Logic." It has been accepted for TAP: Tests and Proofs conference to be held in ETH Zurich in February. I wish I had contributed more to the paper. Philipp generously mentioned me as the co-author of this paper, while I had only carried out some initial work as part of my Master's thesis.
And in another part of the world, a friend has been offered a job at Microsoft. He was rejected for the same about a year ago. Life is weird.
In a different part of the world, Philipp Ruemmer single handedly finished the paper, "Proving Programs Incorrect using a Sequent Calculus for Java Dynamic Logic." It has been accepted for TAP: Tests and Proofs conference to be held in ETH Zurich in February. I wish I had contributed more to the paper. Philipp generously mentioned me as the co-author of this paper, while I had only carried out some initial work as part of my Master's thesis.
And in another part of the world, a friend has been offered a job at Microsoft. He was rejected for the same about a year ago. Life is weird.
