Henry Kautz

He formerly served as the Founding Director of Institute for Data Science and Professor at University of Rochester.

[5] He wrote plays during a one-year fellowship creative writing program at Johns Hopkins University and got an M.A.

[5] Kautz completed his master thesis A First-Order Dynamic Logic for Planning under the supervision of C. Raymond Perrault, and then received his M.S.

[5][6] Kautz was a professor of computer science at University of Washington (2000-2006) after worked at AT&T Bell Labs and AT&T Laboratories.

[8] Henry Kautz created limericks on AI, which can be seen here (retrieved January 14 2015) Archived 2015-10-20 at the Wayback Machine.