Thursday, August 17, 2006

Hello

Hey, I'm finally going to blog a little.
My major interests are in embedded systems and formal verification.
What's Next?