I study verified adaptation. Rather than yearn for a world where programs, architectures, and deployments hold still, I build hands-off programming languages, type systems, synthesis engines, and verifiers that permit systems to embrace the natural ebb and flow of software and hardware, while still providing strong guarantees about system behavior.

There's a man in a smiling bag The owls are not what they seem. Without chemicals, he points The horse is the whites of the eyes. I thought... when I woke up... I thought sleep would do it. Damn fine cup of coffee Fellas, don't drink that coffee! You'd never guess, but there was a fish in the percolator! The hardest thing in this world is to live in it. Be brave. Live. Don't speak latin in front of the books That'll put marzipan in your pie plate, bingo! We have done the impossible, and that makes us mighty How can we be sure, unless we question it? Through the darkness of future past,
The magician longs to see.
One chants out between two worlds...
Fire, walk with me I was a coward, I went to war Life can only be understood backwards; but it must be lived forwards The whole world is a series of miracles, but we're so used to them, we call them ordinary things The ability to observe without evaluating is the highest from of intelligence To love well is the task in all meaningful relationships, not just romantic bonds Honesty and openness is always the foundation of insightful dialogue Ultimately, cynicism is the great mask of the disappointed and betrayed heart