Edward W. Ayers is a mathematician and software engineer working as a founding engineer at Cogna, focused on AI for software synthesis. His expertise includes automated reasoning, computer vision, functional programming, Python, and TypeScript. He has also contributed to the Lean theorem prover and researched neural-network verification for autonomous vehicles.
Edward W. Ayers is a mathematician and software engineer working as a founding engineer at Cogna, focused on AI for software synthesis. His expertise includes automated reasoning, computer vision, functional programming, Python, and TypeScript. He has also contributed to the Lean theorem prover and researched neural-network verification for autonomous vehicles.
Career
Edward W. Ayers holds a PhD in interactive theorem proving from University of Cambridge.