"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
I try to live my life with integrity and authenticity, and to bring that into my work.
Success is not the key to happiness. Happiness is the key to success. If you love what you are doing, you will be successful.
Global infrastructure development requires cross-border cooperation and resource sharing.