Company name
2022Founder
founder and CEO
a startup focused on using artificial intelligence to formally verify software
founder and chairman of the board
a nonprofit coalition of entrepreneurs, technologists, and policy experts working to promote artificial intelligence technology and as well as to protect it from special interest lobbying