I am pleased to announce that Oren has been selected to participate in the prestigious Google Summer of Code program this summer. He’ll be receiving a generous stipend to work on an open source project for the Eclipse Foundation, and I will be serving as his coach along with his mentor Yasser Aziza. He’ll be working on a program analysis and refactoring to be integrated into the Eclipse IDE that makes reasoning about abnormal program termination easier. Congrats, Oren!