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.