Michael Genesereth

American computer scientist

Follow Michael Genesereth on Notably News to receive short updates to your email — rarely!

2024 Genesereth became the Academic Director of The International Logic Olympiad, a worldwide competition in logical reasoning for secondary school students. In its inaugural year, over 3500 students from 2100 schools in 92 countries participated in the contest.
2016 Michael Genesereth launched an effort to bring logic education to high schools across America, using Herbrand semantics as the pedagogical foundation. The program includes summer camps for high school students at Stanford and teacher professional development across the USA.

This contents of the box above is based on material from the Wikipedia article Michael Genesereth, which is released under the Creative Commons Attribution-ShareAlike 4.0 International License.

See Also