1.Previous
3.Next

and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics. He became Director of the Hoskinson Center for Formal Mathematics at Carnegie Mellon University after cryptocurrency entrepreneur Charles Hoskinson

1.Previous
3.Next