Verification evangelist. Software enthusiast. Electronics engineer, author, and physicist.