Thanks so much to Thomas Hales and the other members of the Algebra, Combinatorics, and Geometry (ACOG) Seminar at the University of Pittsburgh. I enjoyed presenting there and interacting with everyone on Nov. 9, 2017.
Computing, logic, and algebra
Computing, logic, and algebra
Thanks so much to Thomas Hales and the other members of the Algebra, Combinatorics, and Geometry (ACOG) Seminar at the University of Pittsburgh. I enjoyed presenting there and interacting with everyone on Nov. 9, 2017.
Researcher specializing in applications of logic and algebra to computer science. View more posts
William Simmons