Date Range
Date Range
Date Range
Middot; Someone I heart. Middot; The Angry Black Woman. He seemed born to the purple both physically and intellectually.
I am a graduate student in Computer Science at UC Berkeley. My advisor is George Necula. My research focus is on program verification with formal methods, in particular verifying pointer-intensive programs written in unsafe languages like C. I also dabble in parsing and run-time safety checking, and am interested in software engineering and security. In ACM Transactions on Programming Langua.
Friday, January 15, 2010. Please visit my new blog! I will not be maintaining this blog effective January 14, 2009. Please modify your bookmarks and RSS subscriptions and cruise over to my new site - www. Friday, December 25, 2009. Another day, another chance to shoot with friends! PS More on Flickr.
Proud member of Professional Photographers of America. , Highland Park, IL 847.