I'm a computer scientist working in automated reasoning and program verification. More can be found elsewhere online.